Haskell 在 Scala 中的新类型

Question

在 Haskell 中，我们可以声明新类型以减少动态 memory 分配并创建类型安全的 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 3 中的不透明类型别名：

opaque type Username = String

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