Haxl是一个令人惊叹的库，但我发现的一个主要痛点是，每种对数据源的请求都需要在请求GADT中使用自己的构造函数。-> BlogRequest PostContent
然后对每个构造函数进行模式匹配，并在DataSource实例的match函数中单独处理。从我的表中创建
浏览 5提问于2018-01-15得票数 2
1回答
我正在使用Haxl库，并试图并发地实现fetchHTML：import Control.Concurrent.Asyncimport Haxl.Prelude
fetch = metaImplementationHaxl的BlockedFetch是多态的：
浏览 3提问于2017-01-22得票数 1
回答已采纳
2回答
要将AST计算为(Haskell)值，我的所有节点都需要是语法类EvalEnv的实例。EvalEnv实例中是无法达到的，因此不可能实现以下(例如重叠)实例： compileSym = compileSymDefault
我的所有用户定义的AST节点都是AST，通常有多个构造函数，其中a参数总是满足compileSymDefault的约束。每个G
浏览 5提问于2014-09-29得票数 3
回答已采纳
GADT好处的典型例子是表示DSL的语法，比如或。如何将GADT处理构建为REPL？我更多地考虑的是进入DSL表达式的人的用户体验，而不是程序员对eval函数的方便。以下任一项：
用户直接使用GADT构造函数输入表达式。很容易犯一个语法正确但<
浏览 0提问于2019-02-28得票数 5
回答已采纳
在随机-fu包中，有一个data声明： Multinomial :: [p] -> a -> Multinomial p [a]
我知道这是一个GADT，但它想要实现什么呢？
浏览 6提问于2014-08-13得票数 3
回答已采纳
1回答
我有以下代码，我希望这是失败类型检查：{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes中的每个条目都有一个相关的错误，我正在用一个Prism建模到一个更大的结构中。当我“解释”这个GADT时，我为e提供了一个具体的类型，其中包含了所有这些Prism的实例。然而，对于<
浏览 2提问于2014-04-29得票数 8
回答已采纳
4回答
我开始在Haskell Wiki上阅读关于GADT的文章，但对它的理解并不是很舒服。你是否向Haskell初学者推荐了一个特定的书籍章节或一篇解释GADT的博客文章？
浏览 4提问于2010-10-26得票数 14
回答已采纳
1回答
我的程序中编译了以下代码：{-# LANGUAGE GADTs #-}由于Foo构造器的参数数量可能很多，所以我想使用记录语法编写代码，但我无法
浏览 2提问于2014-02-02得票数 15
回答已采纳
首先，下面是我的代码的一个最小示例：import Network.URL (exportURL, URL(..), URLTypea) = exportURL a我使用GADT来避免混合不同类型的URL。my
浏览 3提问于2013-08-31得票数 3
回答已采纳
1回答
是否有一种方便的方法来获取Ord (或Eq)的实例来比较GADT的任何两个值，而不管类型参数如何。在GADT中，类型参数是幻影，只是将每个构造函数与一个类型相关联，例如，GADT表示键/查询，类型参数是关联值/结果的类型。Some (t a)
GetStuff是一个GADT
浏览 0提问于2019-03-05得票数 2
回答已采纳
1回答
这是对我上一次的跟进。现在，问题是:假设我同时执行一些数据访问操作。我可以使用一个应用程序函子(不是monad)，它只是命令列表(不是树)。
说得通吗？如果列表包含重复的命令怎么办？
浏览 2提问于2014-12-29得票数 5
2回答
在中，Andy Gill展示了如何在DSL中恢复存在于Haskell级别的共享。他的解决方案在中实现。这种方法可以修改为与GADT一起使用吗？Bool -> Ast2 Bool Var :: Name -> Ast2 e
通过函数的方式recoverSharing :: Ast -> (Map Name, Ast2 e
浏览 2提问于2012-09-02得票数 20
回答已采纳
1回答
在论文和他的博客文章中，Richard定义了数据类型Nat，它用peano公理来定义自然数：通过使用语言扩展DataKinds，将此数据类型提升到类型级别将数据结构函数Zero和Succ提升为类型构造函数'Zero‘和'Succ’，对每个自然数在类型级别上得到一个唯一的对应类型，例如，对于
浏览 2提问于2017-07-21得票数 22
回答已采纳
MkFoo a (a -> Bool)可以轻松地转换为GADT： MkFoo :: a -> (a -> Bool) -> FooNil :: Foo
它们之间是否有什么区别:用一个而不是另一个编译的代码，或者给出不同的结果？
浏览 0提问于2018-03-05得票数 4
回答已采纳
2回答
显然，在数据声明，上放置一个类型类约束不是一个好主意。
我个人并没有遇到将类型限制在我创建的数据类型中的愿望，但我不清楚为什么语言设计者“认为这是一个不好的主意”。为什么会这样呢？
浏览 1提问于2012-10-07得票数 21
回答已采纳
3回答
存在类型的理论基础是什么？
、、、、
在解释如何使用存在主义类型方面做得很好，但我不太了解它们背后的理论。data S = forall a.Show a => a) -- (2)然而，我不太清楚
浏览 2提问于2012-05-25得票数 70
回答已采纳
3回答
继之后，我尝试构建一个EDSL (本文中的例子)，但是没有GADT。我已经找到了一些可以避免将AST的数据类型加倍的方法；但是，它似乎是在加倍代码。所以我试着删减代码，这是我遇到麻烦的地方.Int -> Term Bool将每个构造函数声明为单独的数据类型。特殊类型的sig，它是推断<
浏览 3提问于2019-03-07得票数 6
3回答
有没有人能给我一些建议/建议，让OCaml (3.12)中的类型级别整数支持加法和减法运算？我需要一种方法来定义如下类型的函数：小背景:我正在尝试为物理维度上的操作移植一些haskell代码，我需要能够定义维度类型上的操作(记录了7个类型级别的整数，代表7个基本SI单位的指数)。我需要这样做，以<e
浏览 3提问于2011-08-30得票数 7
回答已采纳
以及以下数据类型，该数据类型具有一个带全限定类型变量的构造函数。然后，我想定义一个递归函数，它使用unwrap中的函数。我假设当我检查fx并得到case B时，参数fx具有GADT bool类型，因此，所有量化的类型变量X也是bool。这个假设有错吗？
接下来，我试图显式地键入unwrap，如下所示。通过这个定义，我得到了一个非常奇怪的<
浏览 0提问于2016-12-12得票数 3
回答已采纳
(最终，我应该在它们之上构建更抽象的类型，但要以机械的、合成的和脚本化的方式。)不幸的是，我很难将模式匹配函数参数中的局部抽象类型与GADT所需的其他具体返回类型相关联。从上面我了解到多态类型变量注释函数，以便它们能够与它们的约束兼容的任意类型(统一)，并且局部抽象类
浏览 16提问于2022-07-24得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
