问题标签 [dotty]

我测试了以下结构类型的代码：

它在 Scala 2.13.2 中成功编译，但在 Dotty/Scala3 中失败。如何在 Dotty/Scala3 中使用结构类型？谢谢！

我可以使用dotty宏分段来解析字符串、生成代码并在运行时运行它吗？

我正在考虑构建一种可以以不同方式使用的模式和 Web 查询语言：通过 REST 传递，或者在编译时静态构造和验证。这将需要两种操作模式（运行时/编译时）并能够在两种模式下重用部分宏代码。

从我对dotty lang的第一次分析来看，它看起来是可行的；但是，我还没有看到任何使用函数签名解析字符串的方法，如String => Expr[?]. 这可能吗？

此外，这些宏是否有能力改变 scala 代码语义？例如，我想做这样的事情，直接在 scala 代码中：

我也应该能够使用字符串执行相同的查询：

如果我在我的 scala 项目中使用猫，迁移到 dotty 会更容易还是更困难？我不太确定使用这样的库的后果以及最终迁移到 dotty 的难度。

我对 Gradle 和 Dotty 都很陌生（对 Scala 整体来说还是比较新的）。我能够像这样使用 Gradle 创建一个 Scala 项目：

而且我知道 Dotty 可以与 SBT 一起使用。但是有没有办法将 Dotty 与 Gradle 连接起来（还）？

在查看 Dotty 的 (Scala 3.0)运算符规则时，我注意到以下@alpha注释示例：

此示例旨在说明如何显式设置方法在具有 java 不允许的字符时将被编译的名称，但它似乎也表明了一种定义静态中缀方法的新方法，据我所知到这一步是不可能的。

当我尝试：

我的编译器告诉我迷路。

这是一个新功能吗？我希望如此，因为我希望能够编写静态中缀函数而不求助于隐式转换。

如果这是 3.0 的新功能，为什么在操作员规则部分（或其他任何地方）没有提到它？

我正在尝试在 dotty 中学习元编程。专门编译时代码生成。我认为通过构建一些东西来学习将是一个好方法。所以我决定制作一个 CSV 解析器，它将行解析为案例类。我想使用 dotty 宏来生成解码器

我已经为Int&提供了基本的解码器String，现在我正在寻找def make[T:Type]方法的指导。如何T在此方法中迭代案例类的参数列表？有没有推荐的方法或模式来做到这一点？

类型推断的哪些变化为Dotty带来了更好的类型推断？Option#fold例如

而在 Scala 2.13.3 中出现错误

这似乎与多个参数列表有关，例如Option#fold

在 Scala 2 中的工作如下

这种行为或推断在应用程序类型检查的方式中运行得非常深入，并且它依赖于 foldLeft 等 API，它允许通过考虑第一个参数列表来累积约束，从而允许您省略第二个参数列表中的类型。

但是在上面的示例中它适得其反，因为应用于第二个参数列表的“累积约束”是Left[String,Nothing].

我试图使用匹配类型在 Dotty 中实现SKI 组合器演算。

SKI 组合微积分的简要说明：

• S, K, 和I是项
• (xy)is an term if xand yare terms and is like 函数应用
• (((Sx)y)z)(same as Sxyz) 返回xz(yz)(same as (xz)(yz))
• ((Kx)y)（相同Kxy）返回x
• (Ix)返回x

以下是我使用R的（尽可能减少术语）。一个术语(xy)被写成一个元组(x,y), 和S, K, 和I是特征。

但是，以下 2 行无法编译（出于相同的原因）（Scastie）：

该错误说它需要(K,K)但找到R[((I, K), (I, K))]。我希望它首先看到 S 并将其变成(IK)(IK)，或者R[((I,K),(I,K))]，之后它应该匹配第一个的评估(I, K)并看到它是K，这与(I, K)使其返回R[(R[(I,K)], R[(I,K)])]，它成为R[(K,K)]，它成为正义(K,K)。

然而，它并没有超越R[((I,K),(I,K))]。显然，如果它是嵌套的，它不会减少术语。这很奇怪，因为我尝试了相同的方法，但使用了实际的运行时函数，而且它似乎工作正常（Scastie）。

正如预期的那样，来自println(r((((S, I), I), K)))的输出。(K,K)

有趣的是，删除它的规则K让它可以编译，但它不能识别(K, K)和R[(K, K)]作为同一类型。也许这就是导致问题的原因？（斯卡斯蒂）

扩大联合类型已在此处讨论，但我似乎无法找到以下案例的答案

让我们从以下内容开始

这个异构列表的推断List[Any]就像在 Scala 2 中一样

然而以下

被推断为List[scala.collection.immutable.AbstractSeq[Int | String]]

这是相当令人困惑的行为。为什么在一种情况下推断出两种不相交类型的 LUB，Any而在另一种情况下推断出联合类型？

如果这只是一个设计决策，是否有任何应该注意的情况？

我想使用Scala 3并使用一些现有的库。该示例适用于 Scala 2.13。

编译时出现此异常：

这是我的build.sbt

更新 好的，它适用于2.12，使用2.13我收到以下错误：