Scala中的参数化数据类型

发布时间：2020-12-16 09:31:43 所属栏目：安全来源：网络整理

导读：在阅读文章 “Data types a la carte” by Wouter Swierstra时，我已经把下面的Haskell代码翻译成Scala： data Expr f = In (f (Expr f )) Expr是用于表示算术表达式的数据类型，具体表达式可以如下写入： data Val e = Val Inttype IntExpr = Expr Valdata

在阅读文章 “Data types a la carte” by Wouter Swierstra时，我已经把下面的Haskell代码翻译成Scala：

data Expr f = In (f (Expr f ))

Expr是用于表示算术表达式的数据类型，具体表达式可以如下写入：

data Val e = Val Int
type IntExpr = Expr Val

data Add e = Add e e
type AddExpr = Expr Add

我的问题是在Scala中实现f(可能被认为是构造函数的签名)。

附：定义两个签名的副产品，稍后可以组合数据类型，得到类型为Expr(Val：：Add)的表达式：

data (f :+: g) e = Inl (f e) | Inr (g e)

addExample :: Expr (Val :+: Add )
addExample = In (Inr (Add (In (Inl (Val 118))) (In (Inl (Val 1219)))))

解决方法

也许就像

case class Expr[f[_]] (in : f [Expr[f]])

这并不像Haskell那么有用。假设你定义

case class Val[e] (v: Int)

那么Val(3)将有一个Val [Nothing]类型，你不能用Expr来使用它。

06002

您仍然可以明确指定类型

val e = Expr(Val(3):Val[Expr[Val]])

但这不是乐趣。你当然可以定义一个正确类型的函数，而不是Val。

请注意，我还是一个Scala noob，也许还有一个更优雅的方法。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!