-
新的dotty运行时完全死在我身上
星期六早上在这里。尝试学习新的Scala编译器dotty。 使用安装在我的Mac上 <pre><code>brew install lamp -
Dotty无法推断具有抽象类型的类型参数特征的通用Scala函数的结果类型
<h2>简单的值层次结构</h2> 想象一下这个简单的特征<code>Value</code>,其中每个实现类都有一个<code>value</co -
在scala 2或3中,是否可以在运行时调试隐式解析过程?
在Scala语言中,隐式解析通常是在编译时完成的,有时会抛出混淆的错误信息,此类错误的一个著名示例 -
如何在Dotty中使用给定的?
我正在查看<code>Dotty</code>页下的<code>Contextual Abstractions</code>个文档,并且看到了<code>Given Instances</code>。< -
如何使用宏在Dotty中生成类?
是否可以在Dotty Scala 3中使用宏生成一个新类? Zlaja -
如何在dotty中解开元组中元素的类型?
假设我有一个定义为的类: <pre><code>case class Box[A](a: A) </code></pre> 我想编写一个通用方法,将元组 -
如何将两个元组与兼容类型组合?
假设我有两个元组,第一个是类型为<code>(V1, V2, .., Vn)</code>的值的元组 第二个是类型为<code>(V1 => -
DOT演算中的清单编码
我正在阅读<a href="https://www.cs.purdue.edu/homes/rompf/papers/amin-wf16.pdf" rel="nofollow noreferrer">The Essence of Dependent Ob -
取决于git中的项目参考时找不到模块
我正在尝试在一个有点笨拙的0.21.0-RC1项目中使用shapeless-3。我的build.sbt看起来像这样: <pre class="lang- -
给定关键字在Scala 3或dotty中如何工作?
我正在阅读Scala 3文档。他们引入了<code>given</code>关键字,它被认为是Scala 2 <code>implicit</code>的替代方法 -
IntelliJ突然停止突出显示Scala / Dotty项目中的错误
TLDR; IntelliJ没有在我的Scala项目中突出显示任何错误(语法/类型不匹配)。我已经尝试过类型识别突出 -
与scala-native和scala-js等技术的dotty / scala3集成如何无缝?
我们应该注意哪些限制?会要求我们使用一些scalafix之类的工具吗?还是开箱即用? -
Scala / Dotty-将特征混合到现有对象中
是否可以将特征混合到Dotty或Scala中的现有对象中? <pre><code>class SomeClass trait SomeTrait // This works, but i -
在Dotty(future Scala3)中更新数组给定索引处的元素
在scala2中: <pre><code>val arr = Array(1, 2, 3) arr(0) = 3 </code></pre> 更新操作有效,arr变为: <pre><code>a -
Scala 3中的类型推断更改 Weak conformance 平等
Scala 3将带来类型推断的哪些变化?当前文档仅说明<a href="https://dotty.epfl.ch/docs/reference/changed-features/type-i -
联合类型LUB和超级类型LUB之间的区别
形状列表推断为<code>List[Shape]</code>,但带框形状的列表推断为<code>List[Box[Square | Circle]]</code> <pre><code -
Dotty / Scala 3中的结构类型编译失败?
我测试了以下结构类型的代码: <pre><code>trait Data object Main { def main(args: Array[String]): Unit = { val -
我可以在运行时和编译时两种模式下重用宏代码吗?
我可以使用<code>dotty</code>宏分段来解析字符串,生成代码并在运行时运行它吗? 我当时正在考虑 -
使用像猫这样的库是否会或多或少地难于升级到dotty?
如果我在scala项目中使用猫,这会使迁移到dotty变得容易还是困难? 我不太确定使用这样的库的后果,以 -
有没有办法使用Gradle的Scala 3编译器(Dotty)?
我对Gradle和Dotty都是陌生的(总体上对Scala还是比较陌生的)。我能够像这样用Gradle创建一个Scala项目:</ -
Scala 3.0中是否支持静态前缀表示法?
在查看Dotty的(Scala 3.0)<a href="https://dotty.epfl.ch/docs/reference/changed-features/operators.html" rel="nofollow noreferrer"> -
如何在Dotty宏中访问案例类的参数列表
我正在尝试学习dotty的元编程。专门编译时间代码生成。我认为通过构建一些东西来学习将是一个很好的 -
在Dotty中对多个参数列表进行更好的类型推断
在Dotty中,类型推断的哪些变化为<code>Option#fold</code>带来了<a href="https://github.com/scala/bug/issues/10642" rel="nof -
如何使用匹配类型实现SKI组合器演算?
我试图使用匹配类型在Dotty中实现<a href="https://en.wikipedia.org/wiki/SKI_combinator_calculus" rel="nofollow noreferrer">SKI -
Dotty如何确定如何推断/何时扩展联合类型?
已经讨论了<a href="https://contributors.scala-lang.org/t/union-type-widening/1069" rel="noreferrer">here</a>的简化联合类型, -
这意味着什么异常“ dotc:错误的符号引用”。
我想使用<em> <strong> Scala 3 </strong> </em>,并使用一些现有的库。该示例适用于Scala 2.13。 编译时出现 -
输入更高种类的lambda
在<strong> Dotty </strong>中,给出以下信息: <pre><code>object Domain { final case class Create(name: String) extends Bas -
2在不同类中具有相同名称的扩展方法在Scala 3中不起作用?
我有以下情况: <pre><code>case class B(v: String) case class A(bs: Seq[B]) extension(a: A) def doit() = a.bs.map(_.doit()) -
Dotty类型类的扩展vs中缀特征方法
我经历了<a href="https://dotty.epfl.ch/docs/reference/contextual/givens.html" rel="nofollow noreferrer">documentation</a>,并找到 -
Dotty是否支持改进?
我正在恐惧地阅读Scala 3附带的内容,特别注意对化合物类型的更改。它们总是有些骇人听闻,因此干净