在Haskell中，如果我用一个构造函数为一个类型指定了字段名，编译器应该生成适当的函数MyType -> fieldType。我想知道是否有什么方法可以告诉编译器给这些函数以签名MyType -> Maybe fieldType。undefined
data MyType = Empty | Record { st :: String, ui :: Word }-- st :: MyType -> Maybe(Record _ n) = n
我
浏览 15提问于2019-11-29得票数 3
我只是不明白它的结构： empty :: t e, findMin :: t e -> Maybee, merge :: t e -> t e -> t e,
contains :: e -> t e -> Maybe Int
浏览 1提问于2017-06-25得票数 3
回答已采纳
我有一个不同类型字段的记录，以及一个适用于所有这些类型的函数。作为一个小的(愚蠢的)例子：比方说，我想要定义一个函数，它在每个字段中添加两个记录(记录中可能有许多字段)？实际上，我有一个专门由Maybe字段组成的记录，我希望将实际数据与包含某些字段默认值</e
浏览 8提问于2014-04-02得票数 12
回答已采纳
1回答
，在构造对象时，我通常只能访问其中一个字段，但另一个字段可以从另一个字段中计算。从b中计算a可能非常昂贵，反之亦然，所以我不想在创建对象时立即进行计算，而是等到实际需要时再进行计算。我对此的一个想法是有一个记录类型-- ...然后，每当我实际需要其中一个字段时，我就可以创建一个ge
浏览 7提问于2022-08-14得票数 4
回答已采纳
我为Yesod (一个Haskell框架)编写了一个整洁的小knockout.js绑定，但我在处理可选定义的值时遇到了一些困难。绑定的Haskell部分被设计成一个javascript片段，它对同一个处理程序进行Ajax调用，并接收由ko.mapping解析的JSON对象。还有一些用于定制的钩子。这一切都很好，但我在处理可选的价值观时遇到了问题。如果我提供一个带有可选记录的值，则JSON发射器将其视为可选的，而不会发出它。
的请求的JSON响应。问题是
浏览 0提问于2013-11-24得票数 0
回答已采纳
使用Typescipt 4.x.x我想编写一个泛型函数，它可以采用映射的类型。type MyMappedType<T> = { name: string它有一个Maybe<unknown>作为其类型参数之一，例如。MyMappedType<Maybe<unknown>>并返回一个Maybe<Ma
浏览 5提问于2021-05-31得票数 3
回答已采纳
= Company { ...目前，我正在避免通过对导入进行限定来污染全局命名空间，但它确实使记录访问变得笨拙。import Person as P
isFred p = (P.name p) == "Fred"
是否仍然没有更好的方法来访问记录字段？这里提到的解决方案使用模板Haskell、透镜、类型类等来为每个字段创建一个类型
浏览 4提问于2013-10-04得票数 5
回答已采纳
我经常遇到一个问题，在创建data类型时，我使用haskell的(低于最佳的)记录语法(或镜头，问题的结尾是一样的)。最后以字段命名的字段访问器函数结束。作为一个认真的程序员，我努力使我的记录字段名有意义。
稍后，我需要从类型中提取一个字段，并将其值保存在局部变量中。这通常是在StateMonad中的do块中完成的。问题是，我如何称呼局部变量。最明显的名称已经被用作字段</
浏览 1提问于2015-05-30得票数 5
回答已采纳
我现在和Haskell一起做DynamoDB。我很难动态地更新记录。orderAddress :: Text }然后，我希望有一个动态查询，您可以在其中传递要更新的字段和值Order>orderRepository.update({orderStatus: "Delivered", orderAddress: "updated address"})
浏览 1提问于2020-06-24得票数 3
回答已采纳
2回答
在范畴理论中，函子是两个范畴之间的同态。在Haskell中，有人说应用函子允许我们应用函数“在函子内”。一个人能把“函子中的函数”这个词翻译回数学，或者给出一些其他的见解吗？(我知道函子可以是Maybe、[]等，但仍然难以理解这个概念。)
浏览 5提问于2012-12-06得票数 9
回答已采纳
4回答
多亏了，我通常(以有限的方式)理解Haskell's Maybe的目的，并且它的定义是然而，我还不清楚为什么Just是这个定义的一部分。我是否正确地认为，在Just的定义中使用Maybe的主要好处，而不仅仅是简单地它允许与Just _进行模式匹配，并允许使用isJust和fromJust为什么Maybe是以前者而不是后者的
浏览 2提问于2015-08-17得票数 25
回答已采纳
我想知道是否有可能在Haskell中以特定的名称获得记录的所有字段。Maybe [Int]在本例中，我希望得到以"ids“结尾的字段列表。我只知道它们以“it”结尾，我需要的是字段名和它包含的值。甚至是一个元组列表顺便说一句，在我的例子中，我正在提取的字段总是具有Maybe [I
浏览 0提问于2018-01-18得票数 5
回答已采纳
我想将一个PersistList值添加到具有默认值的用户实体中。我的模型文件是这样的。和Models.hs文件： ident Text UniqueUser ident代码编译，但是当一个新用户被添加到表中时，保存一个空数组，而不是一个具有默认值的数组。谷歌-uid:223
浏览 0提问于2019-03-27得票数 0
回答已采纳
： deriving (Eq,Show)
问题：如何访问PushK的Int值
PushK 5 -- Great!
浏览 0提问于2018-05-26得票数 0
我是一个Haskell新手，试图了解如何使用Data.Map结构、惰性评估和Maybe类型。 if key in d: else:我试过在Haskell) = kNo instance for (Eq (Integer -> Integer
浏览 7提问于2016-08-07得票数 1
回答已采纳
2回答
然而，在解析objects数组中的记录时，有一些部分是单独考虑的，它们都有文档化的解决方案，但同时也存在一些问题，我还没有弄清楚如何解决。第二个问题是，objects中的一个可能的记录变体可能有一个键--“取决于”，比方说--其值可能具有不同的类型。"}, ],...碰巧，在转换到Haskell对象之后，这是我希望以自定义方式操作的一个字段(最终，我希望将这类“依赖”引用的集合表示为Data.GraphM
浏览 5提问于2017-10-22得票数 4
回答已采纳
奇怪的是，在声明名称时，我们总是指定一些有效的值，比如let a= 3。问题是，在包括c/java在内的命令式语言中，总是有一个关键字"null“。Haskell也有类似的东西吗？
浏览 0提问于2016-02-04得票数 3
我的假设是，如果可以在程序类型本身中编码业务逻辑，这是可能的。 chatId Integer tgramFirstName String
tgramLastName String MaybetgramUsername String Ma
浏览 3提问于2016-02-06得票数 9
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
