是否有可能定义的新位在GHCi

Question

同时，在谈到新的特点在ghci我希望ghci有能力宣布类型的宣言，并宣布新安达泰类型，有人知，它的确是可能的，并且搜索后我发现 这页 它告诉我我能做的

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

显然，同样的语法工作进行模式匹配(ex。让1=True;2=False)。

创造位将使它几乎完美的？任何人都不会知道如果这是目前可能吗？我应该只是做一个安达泰临时文件和重新装吗？

P.S.任何人都不会知道是否有任何计划这样做？是有功能要求，为全康(i)?

我也知道其开放源，但我目前不够聪明，黑客在ghc(i)。

Answer 1

没有，但你可以定义在HBI新的类型（较早的解释）。有讨论关于将这一回，通过ghci的库上hackage。

Answer 2

请注意，你也可以做明确的多码与:{和:} ghci的： http://www.haskell.org/ghc /docs/6.12.2/html/users_guide/interactive-evaluation.html

Answer 3

这已经加入的全康版7.4.1，这是释放 早在二月:

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

Answer 4

没有，你不能在ghci中定义新的类型。

所以，是的，你需要把这些定义在文件中。