问题你如何在Haskell中允许GADT？

今天我开始从以下方面了解GADT： haskell.org 和 https://wiki.haskell.org

不幸的是，我不知道如何使用它们。如果我从示例中运行代码，我会收到以下错误：

[1 of 1] Compiling Main             ( test.hs, interpreted )

AFP_229.hs:31:1:
Illegal generalised algebraic data declaration for `Term'
  (Use GADTs to allow GADTs)
In the data declaration for `Term'
Failed, modules loaded: none.
Prelude>

这是我正在使用的代码：

data Term a where
  Lit    :: Int -> Term Int
  Succ   :: Term Int -> Term Int
  IsZero :: Term Int -> Term Bool   
  If     :: Term Bool -> Term a -> Term a -> Term a
  Pair   :: Term a -> Term b -> Term (a,b)

我尝试了其他示例代码，但这给了我同样的错误。你如何允许GADT？

5085

2017-09-28 17:18

起源

使用编译器选项或编译指示。 downloads.haskell.org/~ghc/7.8.2/docs/html/users_guide/... - n.m.

答案:

该 Use GADTS to allow GADTS 看起来很疯狂

基本上有两种方法可以启用语言扩展：

路径 -X<extensions> 至 ghc，例如 ghc -XGADTS
放 {-# LANGUAGE <extension> #-} 在文件的顶部，例如 {-# LANGUAGE GADTs #-}

最初错误消息看起来像这样： Use -XGADTs to allow GADTs，但实际上语言编译指示（第二种方式）更常见，人们开始抱怨从错误消息中复制粘贴扩展名很难，所以 -X 被丢弃了。

2017-09-28 17:24

该 {-# LANGUAGE GADTs #-} 方法几乎总是可行的方法，因为它让人们阅读源代码可以立即看到正在使用的扩展。 - dfeuer

@dfeuer我同意。实际上这就是为什么它更常见。 - Yuras

感谢您的帮助。 - maffh

还有选项 {-# OPTIONS_GHC -XGADTs #-}，但那可读性较差，所以我选择了 LANUGAGE pragma默认也是。 - AJFarmar

热门问题

不使用eval / new函数的JavaScript模板库当涉及内部类时，Java继承如何工作 .NET Windows服务的奇怪问题在.ipa或.app下查找App ID 快速入门XSLT参考[关闭] 如何找出Android应用程序中未使用的资源 Ruby中并发的同步方法[重复] 将std :: chrono :: system_clock :: time_point转换为struct timeval并返回 Google Drive API V3（javascript）更新文件内容 Bootstrap 3.0 - 将元素推到底部受密码保护的.NET ClickOnce部署？如何用postgresql安装wordpress coq Set或Type如何成为命题硒滚动元素进入（中心）视图在Spring Transaction JUnit测试中自动装配Hibernate会话的正确方法 Git的Dockerfile策略如何在FOS_PICKFOLDER中使用IFileDialog，同时仍在对话框中显示文件名在Firefox扩展中复制Google Chrome浏览器操作弹出效果 CakePHP找到MAX 芹菜 - 完成任务的召唤功能从使用fmemopen创建的流中读取宽字符 .NET是否为每个程序集创建一个字符串实习池？ DefaultModelBinder不绑定嵌套模型 Navigator.MediaDevices.getUserMedia（）使用了哪些相机通信标准？选择命名空间名称时应该知道什么？ cout Swagger Codegen CLI Java客户端 - 如何正确使用它一个很好的哈希函数用于采访整数，字符串？ Maven 3 ciManagement配置的目的是什么？如何通过语言文化获取代码页？

问题 你如何在Haskell中允许GADT？

答案:

热门问题

问题你如何在Haskell中允许GADT？