Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何在Dotty中使用given?
我在看Dotty下的文档Contextual Abstractions页面 我看到了Given Instances 给定实例 或者简单地 给定 定义了 规范 值 用于合成给定子句的参数的某些类型 例子 trait Ord T def com
scala
sbt
implicit
dotty
scala3
无法证明与路径相关类型的等价性
为什么最后一个summon编译失败 我该怎么做才能让它编译 import java time LocalDateTime LocalTime trait Circular T type Parent given localTimeCircu
scala
dependenttype
scala3
pathdependenttype
如何询问 Scala 类型参数的所有实例化是否存在证据?
给定皮亚诺数的以下类型级加法函数 sealed trait Nat class O extends Nat class S N lt Nat extends Nat type plus a lt Nat b lt Nat a match c
scala
implicit
scala3
matchtypes
如何在 Scala 3 宏中创建泛型类型的实例?
我正在将宏从 Scala 2 移植到 Scala 3 作为其工作的一部分 Scala 2 宏使用默认构造函数创建泛型类型的实例 在 Scala 2 中使用准引用很容易做到这一点 但我在 Scala 3 宏上遇到了困难 这是迄今为止我最好的方
scala
metaprogramming
scalamacros
scala3
如何在Scala3中编译并在运行时执行scala代码?
我想使用 Scala3 编译并执行在运行时以字符串形式给出的 Scala 代码 例如在 Scala 2 中我会使用 Reflection import scala reflect runtime universe as ru import
Java
scala
macros
scalamacros
scala3
Scala 中的“Prolog 风格”:与过程代码混合?
继续Scala 中的 prolog 风格 是什么 https stackoverflow com questions 73611934 what is prolog style in scala 我想在 Scala 3 中结合逻辑推理和过程
scala
implicit
scala3
在运行时将 scala 3 代码从字符串解析为 Scala 3 AST
我的目标是将 Scala 3 代码作为字符串获取 并在运行时将其解析为 Scala 3 的抽象语法树 在此过程中 如果代码存在编译错误 我应该将其作为某些异常的一部分 更大的目标是如果 scala 代码有效 则最终得到 Expr T 并通过
scala
Reflection
scala3
在 Scala 3 中派生不透明类型的类型类实例
Scala 3 有没有办法使用derives关键字与不透明类型别名结合使用 最好有一种无样板的方法 通过自动依赖基础类型 如果有 的相同类型类的实例来为给定的不透明类型别名提供类型类实例 如果能够表达类似的东西就好了 opaque type
scala
typeclass
scala3
deriving
derivingvia
给定关键字在 Scala 3 或 dotty 中如何工作?
我正在浏览 Scala 3 文档 他们介绍了given被认为是 Scala 2 替代品的关键字implicit 代码在这里 trait Ord T def compare x T y T Int def x T lt y T compare
scala
typeclass
implicit
dotty
scala3
使用 Scala 3 宏重写方法
我正在尝试使用 Scala 3 宏和 TASTY 重写方法 我想重写任何类型的任何方法 现在我从这个简单的案例开始 我有一个测试基类 class TestClass def func s String base 我想实现这一点 但使用 TA
scala
scalamacros
scala3
具有相同底层类型和相同扩展方法的顶级不透明类型
我在定义具有相同底层类型和扩展方法的不透明类型时遇到了一个问题 例如 opaque type HandleA Int object HandleA def apply value Int HandleA value extension ha
scala
scala3
Scala Spark Encoders.product[X](其中 X 是案例类)不断给出“No TypeTag available for X”错误
我正在 Scala 工作表中使用 Intellij Idea 我想为 scala 案例类创建一个编码器 从互联网上的各种帖子中 我找到了使用 Encoders product 的建议 但它从来没有对我有用 下面的代码 import org
scala
apachespark
scala3
2 不同类中具有相同名称的扩展方法在 Scala 3 中不起作用?
我有以下场景 case class B v String case class A bs Seq B extension a A def doit a bs map doit here is the exception extension
scala
extensionmethods
dotty
scala3
如何在同一台机器上设置不同的Scala版本?
我想关注有关 Scala 1 的书 但它使用 Scala 3 而我安装了 Scala 2 我想使用这两个版本 类似于python2 and python3 我尝试使用以下命令在本地安装 Scala3官方来源 https dotty epfl
scala
sbt
scala210
scala3
Scala 2 隐式和 Scala 3 给定/使用之间的区别
两者有什么区别implicitScala 2 中的关键字和given using在 Scala 3 中 难道只是这样吗implicit已被分成两个关键字 或者语义也不同 如果是 如何 在大多数情况下 它们是相同的 然而 implicit不再
scala
implicit
scala3
Scala 3:类型化元组压缩
我正在尝试将元组压缩在一起并使用匹配类型来获取生成的压缩的确切类型 我有一个匹配类型和功能 type Z A lt Tuple B lt Tuple lt Tuple A B match case EmptyTuple EmptyTuple
scala
tuples
patternmatching
scala3
matchtypes
Scala / Dotty - 将特征混合到现有对象中
有没有办法将特征混合到 Dotty 或 Scala 中的现有对象中 class SomeClass trait SomeTrait This works but it s not what I m looking for new SomeC
scala
scalamacros
dotty
scala3
scala 中的 Hello World 有什么问题?
我在学习scala来自 docs scala lang org 有一个example https docs scala lang org overviews scala book hello world 2 html object Hell
Java
scala
scala3
如何在 Scala 3 中进行类型级添加?
如何在 Scala 3 中实现类型级操作 在本例中为加法 这是我想做的 这不能编译 case class foo S lt Int Singleton value Double def bar T lt Int Singleton that
scala
scala3
typelevelcomputation
singletontype
在多阶段编译中,我们是否应该使用标准的序列化方法来通过阶段传送对象?
这个问题是在 Scala 3 Dotty 中提出的 但应该推广到 MetaML 系列之外的任何语言 Scala 3 宏教程 https docs scala lang org scala3 reference metaprogramming
scala
metaprogramming
scalamacros
scala3
multistage
1
2
»