haskell - 是否可以在 GHCi 中定义新的 ADT

Question

在评论ghci的新功能时，我希望ghci能够声明类型声明并声明新的ADT类型，有人告诉我确实可以，经过搜索我发现 this page这告诉我我可以做到

let numUniques' :: (Eq a) => [a] -> Int; numUniques' = length . nub

显然，相同类型的语法适用于模式匹配(例如，let a 1=True;a 2=False)。

创建 ADT 会让它变得近乎完美吗？有谁知道目前是否可行？我应该制作一个 ADT 临时文件并重新加载它吗？

附注有谁知道是否有这样做的计划？是否有 ghc(i) 的功能请求？

我也知道它的开源，但我目前还不够聪明，无法破解 ghc(i)。

Answer 1

这是从 GHC 7.4.1 版开始添加的，该版本已发布 back in February :

jcp@butler:~$ ghci
GHCi, version 7.6.1: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> data Test = Foo | Bar | Baz deriving (Read, Show)
Prelude> Foo
Foo
Prelude> read "Bar" :: Test
Bar
Prelude> :t Baz
Baz :: Test