回答情况：
提问时间：
问题标签：
1回答
我曾多次阅读关于GADT(在discuss.ocaml.org和realworldocaml.org上)的文章。在我看来，GADT似乎提供了类似的特性，但内存占用却更小:多态变体在有多个参数的情况下，需要一个常规变量不需要的额外指针。到目前为止，我还不能成功地使用GADT，所以我的问题是：
提前谢谢你！
浏览 3提问于2020-11-11得票数 3
回答已采纳
GADT (和常规数据类型)仅仅是数据族的缩写吗？对于类实例(我很惊讶地发现)，我可以编写重叠的实例来使用GADT：instance {-# OVERLAPPING #-} C (GADT Int) .GADT很笨拙，我已经知道了。那么我认为data GADT a where ...就像data instance GADT a where ...一样。这是有道理的:有一个data instance GADT</e
浏览 30修改于2018-09-18得票数 8
1回答
这只是一个测试，所以我不太关心，但我有以下定义：type _ s | Less : (*∀'a.*) ('a, 'a s, 'a s) balance | More : (*∀'a.*) ('a s, 'a, 'a s) balance | Leaf : z aVL
| Node : (*∀'a,
浏览 3提问于2013-12-19得票数 8
回答已采纳
人们可以用GADT来表达存在的量化类型。如果使用存在量化的类型比使用GADT更好？与现有的量化类型相比，使用GADT有什么缺点吗？
浏览 4修改于2014-08-03得票数 8
回答已采纳
4回答
我开始在Haskell Wiki上阅读关于GADT的文章，但对它的理解并不是很舒服。你是否向Haskell初学者推荐了一个特定的书籍章节或一篇解释GADT的博客文章？
浏览 4提问于2010-10-26得票数 14
回答已采纳
1回答
是否可以为GADT编写Traversal？我有： in an equation for `tagged'
at gadt.hsInt -> Tagged tag -> Foo (&#
浏览 3修改于2017-11-21得票数 3
回答已采纳
是否有用于GADT的等价物makeLenses？如果我有一个简单的GADT，比如： D :: (Ord a, Ord b) => !a -> !
浏览 0提问于2015-01-26得票数 8
1回答
GADT允许某种形式的动态键入： | Int: int -> int gadt | Int x -> x + 1
| Float x -> x +. 1.
浏览 2修改于2018-10-23得票数 2
回答已采纳
1回答
我最近一直在使用GADT，我想知道是否有人可以为我指出正确的方向，学习如何键入它，以便它可以编译，如果它可能的话，或者如果我过于复杂的事情。我在这里看到了一些关于GADT模式匹配的其他答案，但这似乎有点不同。
浏览 18提问于2020-06-29得票数 1
回答已采纳
我试图在Haskell中序列化数据类型，并想知道如何序列化GADT。我尝试的方法看起来类似于(使用Control.DeepSeq)： Cons1 :: Int -> Gadt Int我想序列化GADT的原因是因为此数据类型是用于我的项目的Redis数据库中的一个键。
浏览 0修改于2016-02-16得票数 1
我有一个用GADT创建的数据结构，我想使用aeson解析一些json到这个GADT。但是类型检查程序抱怨说，在所有情况下都只能创建GADT的一个构造函数。withText’, namely "hello" -> pure SHello如何将json解析为这样的GADT
浏览 4修改于2020-07-17得票数 2
回答已采纳
Num a) => a -> Integer -> Polinomio a -> Polinomio a我在这里使用了GADTfmap f (Cons x) = Cons $ f x它不能编译给我这样的原因： in an eq
浏览 0提问于2013-06-22得票数 3
1回答
我只是在学习关于ExistentialQuantification、GADTs和KindSignatures等的所有知识，为了做到这一点，我试着想出一些小程序来帮助我更好地理解所有的东西。{-# LANGUAGE KindSignatures #-}{-# LANGUAGE DataKinds #-}{-#
浏览 5提问于2015-11-16得票数 1
回答已采纳
我很难理解在OCaml中使用GADT的一些方面。让我试着告诉你我的榜样和我的理解..。
我正在尝试实现西蒙·佩顿-琼斯关于组合合同()的经典论文。因此，我使用GADT定义了一个函数类型和一个观察类型。
浏览 0提问于2018-02-22得票数 4
回答已采纳
1回答
我在OCaml中玩GADT和幻影类型。我知道GADT是描述某些幻影类型的一种方便--如果我错了，请纠正我。因此，我决定尝试将使用GADT类型的程序转换为具有ADT和幻影类型的程序。我把的一个GADT程序作为起点。它是一个小的bool/int表达式计算器，下面是它的要点： type _ value =
| Bool : bool -> bool valueError: This expression has type bool but a
浏览 1提问于2015-05-03得票数 7
回答已采纳
data Gadt a where F2 :: Int -> Int -> Booldata Gadt a where PassOneArgs:: String -> Gadt Bool
myFunctio
浏览 2提问于2017-02-25得票数 8
回答已采纳
我在实现GADT的IsList实例时遇到了麻烦，它表示嵌套数组中的值的结构。我看到这样的错误： • Illegal polymorphic type: forall (a :: ValType).
浏览 60提问于2018-06-03得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号