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

在评论ghci的新功能时，我希望ghci能够声明类型声明和声明新的ADT类型，但有人告知这确实可行，在搜索后我发现
this page告诉我我可以做

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

显然，同样的语法也适用于模式匹配（例如让1 = True; 2 = False）。

创建ADT将使其变得完美吗？有谁知道当前是否可行？
我应该只制作一个ADT暂存文件并重新加载吗？

附言有人知道是否有任何计划吗？是否有对ghc（i）的功能要求？

我也知道它的开源，但是我现在还不够聪明，无法攻克ghc（i）。

最佳答案

不，但是您可以在hbi（较早的解释器）中定义新类型。讨论通过ghci hackage库将其重新带回。

关于haskell - 是否可以在GHCi中定义新的ADT，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/3849716/