代码之家 › 专栏 › 技术社区 › Justin Meiners

在commonlisp中声明约束/多态类型

static-typing common-lisp

0

Justin Meiners · 技术社区 · 5 年前

在Haskell(和 chicken scheme )可以声明约束类型, 例如 map :: (a -> b) -> [a] -> [b] 声明 map 将获取包含函数输入类型的列表,并返回包含函数输出的列表。

(declaim (ftype (function (function (a) b)
                          (list a))
                (list b)
                map))

“你不能那样做”将是一个令人满意的答案:)

0 回复 | 直到 5 年前

1

2

Svante 5 年前

不是在单个类型声明中。我们没有类型变量。