问题标签 [lifting]

这就是我要的：

但问题是我将在字符串 var 中得到表达式 $x>$y，比如

然后我想执行操作，

但是这个回报：

这不符合目的。如何在最后一步中获取 x 和 y 的值，而不是$x 和 $y。

在 中敲打ghci，我碰巧注意到这个表达式(*) 1 [1..5]显然有一个有效的类型。

显然它是一个包含多个类型约束的列表，包括Num [t]对我来说看起来不可能的，就像它应该给出一个错误一样。

这是表达式的类型？为什么ghci's:t命令在这里没有给出错误？

说我有这个 React 类。这不是我要渲染的主要组件。如何将我在此处设置的状态 UPWARDS 传递给父组件。

当我说父组件时，我的意思是要像这样显示播放器的类：

即我怎样才能使 this.state.playerOneName 可供父母使用？

我想创建组件 - - 以便只有授权用户才能访问它。这个想法是，在我的登录组件（这是一个子组件）中收到来自后端的响应 200 后，我会以某种方式使用 authed:true 作为父组件中的道具。我了解此说明https://reactjs.org/docs/lifting-state-up.html并且还在其他组件上使用了类似的程序。但是，在这种情况下，我收到了错误：

问题是我无法在我的子组件中将函数定义为道具。

这是我的父组件中应该作为道具调用的函数。

但我从来没有到过这里。

这就是我在 AuthExample(parent) 组件中定义路由路由器的方式 - 为此使用react-router-with-props：

这是我的子组件中的部分 - Login.js 我应该能够在我的道具上定义函数以传递给父组件 - 但我不能：

我正在用 Haskell 编写数独生成器/求解器作为学习练习。

我的solve函数接受 aUArray但返回 aState Int (UArray ...)以便它还可以返回它在解决时找到的最大难度级别。

到目前为止，这是我的功能（仍处于非常实验性的早期阶段）：

它还没有真正对可变数组做任何事情。我只是想让它使用 进行类型检查put 42，但目前收到以下错误：

我需要使用重型功能提升，例如。

Prelude 没有为更大的功能（大约 20 个参数）提供。有没有聪明的方法来做这样的提升而不明确链接那些aps？我正在寻找类似的东西

我可能很难猜测它的类型，magic因为它取决于提升函数的参数数量。当然不可能map在这里使用列表（或者是吗？），我只是把它作为一个观点。

我想我正在寻找可以通过依赖类型很好地解决的东西，这些依赖类型不包含在 Haskell 中，但也许有一些棘手的方法可以解决它（TemplateHaskell？）

你有什么想法如何让它更优雅和灵活吗？

编辑：在我的例子中，链式函数的类型都是一样的。

我正在编写一个函数式编程库，并试图确定哪个名称最适合一系列函数。

这些函数都接受一个函数并返回另一个函数。返回的函数与输入函数相比具有不同的返回类型，但参数没有改变。

实现是：

• <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>

从一个数组中，我将它显示为一个组件（Box.js）上的列表，并存储在另一个组件（Search.js）中的反应选择中。它们都是属于父组件（trial.js）的同一级别的子级。

最终，我想通过单击列表或从反应选择中更改/选择来显示对象。我已将事件处理程序提升到它们的父级，并成功地独立显示了选定的对象。

但是，我似乎无法将 onClick 与 onChange 同步。详细地说，我希望单击事件处理程序使所选列表变为粗体并更改 react-strap 中显示的项目，反之亦然。react主页中给出的提升状态和同步事件处理程序示例使用文本输入，这对我正在尝试做的事情没有真正的帮助..

父）Trial.js：

有列表的孩子）Box.js：

带有反应选择的孩子）remote.js：

remote.js 的子级来渲染选定的对象：

上图是训练和验证数据集的 H2O GBM 分类模型提升图。我把它与我看到的其他电梯图表混淆了。通常基线为 45 度，升力曲线与基线曲线相比呈凸形。上图中，如果绿线表示升力曲线，为什么它是恒定的并且下降并触及基线？还有为什么基线不是 45 度？谁能帮助我使用上图解释模型？我的模型表现好吗？

作为一个 F# 新手，我在理解术语“Lifting”时遇到了问题，我无法正确地提升功能。

例如，我如何提升以下功能以及它将如何影响功能行为。

任何帮助，将不胜感激。