问题标签 [implicit]

我使用带有反向欧拉积分的质量弹簧模型来实现基于 gpu 的布料模拟。使用带滤波器的共轭梯度求解器求解线性系统。一切都在 GPU 中完成。我认为作为一种隐式集成，它应该像许多论文指出的那样稳定，但就像隐式方法一样不稳定。大多数时候，当时间步长达到某个值（取决于刚度）时，CG 拒绝收敛并进入无限循环。

尽管我一遍又一遍地检查代码并阅读了很多论文，但我仍然找不到原因。布料正确移动，动画比使用显式积分的动画更令人信服，所以我猜力的计算是正确的。我错过了什么导致不稳定吗？

我已经被这个奇怪的问题解决了好几天......
有人可以帮忙吗？任何建议我都会非常感激

提前非常感谢！

任何想法为什么以下不起作用？

当我使用 fsc 2.8.1 编译它时，我收到以下错误：“参数数量错误；预期 = 1: a foreach { (el, i) => println(el, i) };”。我是在做错什么，还是根本没有办法通过“pimp my library”技巧来添加重载方法？

PS 我想知道的不是实现 foreach 的 iterate-with-current-index 风格（我知道 zipWithIndex 方法），而是想知道重载和隐式转换如何一起发挥作用。

我正在尝试在 scala 中对组合微积分进行非常轻量级的编码。最初，我只是实现 S 和 K 组合器、应用程序和常量值。后来我希望提升 scala 函数并允许将表达式评估为 scala 函数。不过，那是以后的事了。这是我到目前为止所拥有的。

现在我想对此做一些类型推断。为了简单地实现小步和大步减少，数据模型是无类型的，所以我希望类型在这个结构之外。让我们介绍一些东西来保存类型信息。

值类型很简单。

应用有点棘手，但基本上归结为功能应用。让我们为组合应用程序引入一个类型 ⊃，以避免与普通的 scala 应用程序混淆。

这就是我卡住的地方。我需要表示 S 和 K 组合子的类型。但是，它们是普遍量化的类型。在您开始应用它们之前，您不知道它们的实际类型。我们以 K 为例。

前几次我尝试使用它，我将 K 参数化为 K[X, Y]，但这（灾难性地）多态性不足。K 的类型应该等待第一个参数的类型，然后是下一个参数的类型。如果您只将 K 应用于一个值，则下一个参数的类型不应该是固定的。您应该能够获取 (K x:X) 并将其应用于字符串、int 或任何您喜欢的类型。

所以我的问题是如何编写为 S 和 K 生成 typeOf 的隐式，以及如何正确处理∀量化类型。也许我想要这样的东西？

但是，我不确定我应该如何编写 ∀ 类型来完成管道。我有一种感觉，除了让 ∀ 正确之外，除了现有的 A#typeOf =:= ⊃[ ...] 一。

谢谢，

马修

我想知道是否有任何方法可以反转 LaTeX 解释方程式中换行符的方式？例如，我不想像这样明确地插入它们，

，但隐含地喜欢，

谢谢。

一些前端专家声称<input>用<label>（隐式标签）包装 an 是一种可取的做法（与显式标签相比，即使它们具有for属性）。

不管是什么原因，我想看看如何在技术上用 Django 以一种优雅的方式完成。

虽然从Doubles 到BigDecimals 的转换情况相比 Java 有所改善

和类似的东西

工作得很好，像这样的隐式转换不是很合理吗

默认情况下可用，它可以像这样将字符串转换为 BigDecimals？

或者我是否遗漏了一些东西，Scala 使用BigDecimal带有浮点值而不是 a 的构造函数解决了 Java 的所有“问题” String，并且BigDecimal(String)在 Scala 中基本上不再需要？

当构造函数是显式的时，它不用于隐式转换。在给定的代码段中，构造函数被标记为explicit。那为什么万一foo obj1(10.25);它正在工作而foo obj2=10.25;它不工作呢？

错误：错误 C2440：“正在初始化”：无法从“双”转换为“富”

我正在学习 Ruby，但我在整个隐式返回值方面遇到了麻烦。有人请告诉我为什么这会返回一个空向量：

它应该返回从参数路径递归搜索时找到的所有文件名（无扩展名）的数组。

假设我用“/tmp”调用函数，tmp 包含 2 个文件：“A.txt”和“Bm”，然后是一个包含 1 个文件“C.exe”的目录。我希望这个函数返回 ["A","B","C"]

根据 Scala Spec (2.8)，要找到隐式，它必须在本地范围、继承范围或伴随对象中定义。鉴于此，在我看来，以下代码应该在没有显式导入伴随对象内容的情况下工作。我在 Scala 库源代码（例如 CanBuildFrom）中看到了这个。似乎我应该能够从 XX 类的定义之外调用 XX.foo() 并使用来自伴随类的隐式参数。我错过了什么？

考虑隐式对象的这种应用

它有效，但显然不是非常有用。在示例中为具体类型（如 Int 和 String）编写此代码没有问题，但我认为无法编写对 A 和 B 进行抽象的隐式对象或 val。

这可以做到吗，怎么做？如果不是，那么期望具有这种能力的语言扩展是否合理？