Haskell 在 Scala 中的新类型

Question

在 Haskell 中，我们可以声明新类型以减少动态内存分配并创建类型安全的 API。

newtype Username String = Username String
  deriving (Eq, Ord)

newtype 仅适用于具有单个构造函数和单个参数的数据类型。 Scala中有没有类似newtype的东西？

例子：

case class Username(username: String)

对于用户名，我们可以在 Scala 中这样写：

newtype Username(username: String)

Answer 1

等效于 Haskell 的 newtype 是 Scala 3 中的 Opaque Type Aliases：

opaque type Username = String

它基本上是一个type 别名……但不透明。就像封面上说的那样。