问题标签 [lifting]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
scala - scala quasiquotes 在多个步骤中提升字符串变量
这就是我要的:
但问题是我将在字符串 var 中得到表达式 $x>$y,比如
然后我想执行操作,
但是这个回报:
这不符合目的。如何在最后一步中获取 x 和 y 的值,而不是$x 和 $y。
haskell - 为什么这个表达式有一个有效的类型?
在 中敲打ghci
,我碰巧注意到这个表达式(*) 1 [1..5]
显然有一个有效的类型。
显然它是一个包含多个类型约束的列表,包括Num [t]
对我来说看起来不可能的,就像它应该给出一个错误一样。
这是表达式的类型?为什么ghci
's:t
命令在这里没有给出错误?
reactjs - 在 React 中提升状态
说我有这个 React 类。这不是我要渲染的主要组件。如何将我在此处设置的状态 UPWARDS 传递给父组件。
当我说父组件时,我的意思是要像这样显示播放器的类:
即我怎样才能使 this.state.playerOneName 可供父母使用?
reactjs - 登录验证后反应提升状态
我想创建组件 - - 以便只有授权用户才能访问它。这个想法是,在我的登录组件(这是一个子组件)中收到来自后端的响应 200 后,我会以某种方式使用 authed:true 作为父组件中的道具。我了解此说明https://reactjs.org/docs/lifting-state-up.html并且还在其他组件上使用了类似的程序。但是,在这种情况下,我收到了错误:
问题是我无法在我的子组件中将函数定义为道具。
这是我的父组件中应该作为道具调用的函数。
但我从来没有到过这里。
这就是我在 AuthExample(parent) 组件中定义路由路由器的方式 - 为此使用react-router-with-props:
这是我的子组件中的部分 - Login.js 我应该能够在我的道具上定义函数以传递给父组件 - 但我不能:
haskell - 在 Haskell 中提升 State monad 的值
我正在用 Haskell 编写数独生成器/求解器作为学习练习。
我的solve
函数接受 aUArray
但返回 aState Int (UArray ...)
以便它还可以返回它在解决时找到的最大难度级别。
到目前为止,这是我的功能(仍处于非常实验性的早期阶段):
它还没有真正对可变数组做任何事情。我只是想让它使用 进行类型检查put 42
,但目前收到以下错误:
haskell - 提升 - 概括
我需要使用重型功能提升,例如。
Prelude 没有为更大的功能(大约 20 个参数)提供。有没有聪明的方法来做这样的提升而不明确链接那些ap
s?我正在寻找类似的东西
我可能很难猜测它的类型,magic
因为它取决于提升函数的参数数量。当然不可能map
在这里使用列表(或者是吗?),我只是把它作为一个观点。
我想我正在寻找可以通过依赖类型很好地解决的东西,这些依赖类型不包含在 Haskell 中,但也许有一些棘手的方法可以解决它(TemplateHaskell?)
你有什么想法如何让它更优雅和灵活吗?
编辑:在我的例子中,链式函数的类型都是一样的。
functional-programming - 函数式编程术语:提升与函子/应用提升
我正在编写一个函数式编程库,并试图确定哪个名称最适合一系列函数。
这些函数都接受一个函数并返回另一个函数。返回的函数与输入函数相比具有不同的返回类型,但参数没有改变。
实现是:
<parameters> -> T|undefined
=><parameters> -> Option<T>
apidoc<parameters> -> R|undefined <may throw>
=><parameters -> Either<L,R>
apidoc<parameters> -> Promise<T>
=><parameters> -> Future<T>
(计划添加)
已经有一些关于命名的讨论,并且仍在我的图书馆的存储库中进行。
问题是使用“提升”术语是否适合我所描述的功能。
它可能不合适的原因是提升最常用于描述对函子的提升,这意味着提升参数类型和结果类型。所以..A -> B -> C
到F<A> -> F<B> -> F<C>
. 这不是这些函数的作用。
但是,我看到 scala 完全按照我的方式使用“提升”术语:
我想看看他们在 scala-land 中是如何命名的……结果……如果我理解正确,他们说这是提升: Scala 中的“提升”是什么?
请记住,PartialFunction[A, B] 是为域 A 的某个子集定义的函数(由 isDefinedAt 方法指定)。您可以将 PartialFunction[A, B] “提升”为 Function[A, Option[B]]。也就是说,在整个 A 上定义的函数,但其值的类型为 Option[B]
另一方面,对于提升除结果之外的所有参数时的提升,他们说:
将函数 A => B “提升”到函子的域中。[..]“提升到函子”
它在那里=> https://www.scala-lang.org/api/current/scala/PartialFunction.html#lift:A=%3EOption[B]
所以这意味着提升是一个一般概念,其中函子提升只是一个子类别。此外,haskell 正在谈论“提升类型”和“未提升类型”,这表明该术语以更宽松的方式使用。
另一方面,这个说提升只是“函子提升”: https ://stackoverflow.com/a/43596202/516188
我一直在我的库中提供“函子”提升,将函数命名为liftA2和liftAp——因此在“提升”和“应用提升”之间有所不同。你觉得这样合适吗?如果没有,你会推荐什么命名?
编辑所以你总结一下我提议的命名是lift
为了A->B->X<C>
和liftA
(如应用)F<A>->F<B>->F<C>
reactjs - 通过单击 React 中的外部组件来更改 react-select 的显示值
从一个数组中,我将它显示为一个组件(Box.js)上的列表,并存储在另一个组件(Search.js)中的反应选择中。它们都是属于父组件(trial.js)的同一级别的子级。
最终,我想通过单击列表或从反应选择中更改/选择来显示对象。我已将事件处理程序提升到它们的父级,并成功地独立显示了选定的对象。
但是,我似乎无法将 onClick 与 onChange 同步。详细地说,我希望单击事件处理程序使所选列表变为粗体并更改 react-strap 中显示的项目,反之亦然。react主页中给出的提升状态和同步事件处理程序示例使用文本输入,这对我正在尝试做的事情没有真正的帮助..
父)Trial.js:
有列表的孩子)Box.js:
带有反应选择的孩子)remote.js:
remote.js 的子级来渲染选定的对象:
function - 提升功能
作为一个 F# 新手,我在理解术语“Lifting”时遇到了问题,我无法正确地提升功能。
例如,我如何提升以下功能以及它将如何影响功能行为。
任何帮助,将不胜感激。