将 MOSCOW ML 类型转换为 HASKELL

Question

我正在尝试将 SML 类型转换为 Haskell 类型。

type Identifier = string

type 'a Environment = (Identifier * 'a) list

Answer 1

我想 Haskell 中的相同代码可能是

type Identifier = String

type Environment a = [(Identifier, a)]

不过，我建议使用 newtypes 来提高类型安全性，例如

newtype Identifier = Identifier String

newtype Environment a = Environment [(Identifier, a)]