2回答
我正在尝试的其中一个练习定义了如下函数：当我打印两次类型时，我看到：twice :: (a -> a) -> a -> a
我不确定我是否理解这里的输出因此，twice接受类型为function (类型为a -> a)的输入。这是正确的吗？如果是这样，那么如何将f评估为function (a -> a)类型？那么这里twice的返回类型是什么呢？
浏览 0提问于2017-07-18得票数 1
回答已采纳
1回答
我正在haskell中使用gtk/cairo制作一个游戏，我正在寻找一种完全清除绘图区域(drawingArea类型的小部件)的方法。例如，当小部件调整大小时，绘图区域将自动清除。我在找一种手动清除的方法。
有什么建议吗？
浏览 2提问于2013-11-22得票数 0
回答已采纳
我一直在Haskell中学习跑步，现在我尝试用currying形式编写函数的Haskell类型签名，它的未缓存形式有一个参数对类型(x，y)，其结果是x类型的值。
浏览 2提问于2021-09-22得票数 3
回答已采纳
2回答
我使用Haskell的美味框架进行测试。当我获取和清除资源时，我会使用withResource Tasty的函数来完成： withResource :: IO a -> (a -> IO ()) -> (IO a -> TestTree) -> TestTree 其中a是资源类型。但我希望在测试失败时保留资源，并仅在测试通过时才清除它们。这怎么可能呢？
浏览 23提问于2019-01-10得票数 0
回答已采纳
2回答
未装箱类型的限制
、、
我想知道为什么Haskell中的未装箱类型有以下限制：
新型Vec = Vec (# Float#，Float# #)类型Vec = (# Float#，Float# #)
键入家族Unbox (a :：*) :：# where Unbox Int = Int# Unbox Word =
浏览 5提问于2015-11-17得票数 10
回答已采纳
我目前正在阅读Graham Hutton的教科书“在Haskell中编程”(第二版)。在他的《生活的游戏》一节中，他定义了一个函数 cls :: IO ()
cls = putStr "\ESC[2J" 它应该在运行时清除终端屏幕。 这不是我观察到的行为。当我运行代码时，终端窗口显示[2J，并且未清除。 我在一台装有windows10的惠普笔记本电脑上运行代码，使用的是GHC编译器。 任何关于这个问题的建议都将不胜感激。
浏览 13提问于2019-12-30得票数 0
回答已采纳
2回答
未装箱的类型(如Int# )和严格函数(如f (!x) = ... )是不同的，但我看到了概念上的相似性-它们在某种程度上不允许thunks/惰性。如果Haskell是像Ocaml这样的严格语言，那么每个函数都是严格的，每个类型都是拆箱的。未装箱的类型和强制严格之间的关系是什么？
浏览 2提问于2010-06-28得票数 32
回答已采纳
我有一个问题，为什么可以是随意多态的，当用作非装箱类型时。本文继续解释GHC 8是如何提供允许类型变量具有多态变量的功能的。RuntimeRep，甚至是未解除的类型。下面是一个使用undefined作为GHCi中未装箱、未解除的Int#的示例：> import GHC.Prim> I# (然而，论文说，“元素⊥并不存在于未解除的类型中。”
这里发生什么
浏览 0提问于2018-04-23得票数 15
回答已采纳
以下Haskell代码未编译：getMaxBound _ = maxBound :: aCould nottype signature for: at rot13.hs:3:1-36getMax
浏览 1提问于2019-01-19得票数 2
回答已采纳
获取数据类型声明，如据我所知，Haskell会把它读成myType，有两种不同的口味。其中之一是Null，Haskell将其解释为.我想你会称它为这种类型的实例？还是亚型？因素？水平？无论如何，如果我们将Null改为Nubb，它的行为基本上是一样的--Haskell并不真正了解空值。另一种口味是Container，我希望Haskell能读到这句话，说Container味道需要两个字段，TypeA和v。<em
浏览 0提问于2018-10-01得票数 7
回答已采纳
例如，下面是简单的Haskell enum数据类型：从GHC-8.2.1开始就有-XUnboxedSums扩展，它允许以更有效的内存方式定义和类型。以下是引用文档的一段话：
这是完整的文档：
浏览 0提问于2018-09-12得票数 4
回答已采纳
1回答
惰性求值中原语函数的类型
、、、
我想知道像Haskell这样的惰性函数编程语言中原语函数的确切类型。
比方说，块被求成弱头范式的对象。那么，在像C这样的严格语言中，原语函数的类型应该是什么呢？
浏览 1提问于2017-01-08得票数 0
回答已采纳
不过，我对Haskell的类型系统不满意，所以我决定将自己的DSL作为DSL来实现。现在，为了使用GHC的性能，我想通过翻译后置检查未输入的lambda演算表达式将我的语言编译到Haskell。我怎样才能避免这个问题--也就是说，通过告诉GHC“我已经检查过了，相信我”，完全禁用了类型系统？
浏览 2提问于2015-04-11得票数 2
回答已采纳
3回答
类型理论:类型类型
、、、、
我读过很多关于类型、高级类型等有趣的东西。默认情况下，Haskell支持两种类型：
我已经了解了，我想我理解这个想法。
浏览 6提问于2011-10-13得票数 26
回答已采纳
1回答
我在学习Haskell。以下代码未编译 deriving (Show,Eq)
score :: a -> Intscore a = count a
错误:无法将预期类型Nim与实际类型'a‘匹配。‘’是一个刚性类型变量，由Playe
浏览 1提问于2016-05-16得票数 0
回答已采纳
在Flink作业中，我有一个类型为ValueState<Boolean>的状态。当condition为true时，此状态设置为true，否则清除。我正在清除状态，而不是将其设置为false以减小状态的大小。
我希望将未初始化状态视为"set to true“状态，但不将状态设置为"true”。有没有办法区分未初始化状态和清除状态？
浏览 25提问于2021-05-30得票数 0
1回答
能否在haskell中构造一种层次标识，将一种a映射到同类型的a？以下是一些未回答的问题：newtype One a = One {unOne :: a}
-- >>> :kind!
浏览 9提问于2022-02-26得票数 3
回答已采纳
我尝试卸载Haskell平台，但包数据库仍然完好无损。如何从我的系统中完全清除Haskell？
浏览 0提问于2012-07-06得票数 10
1回答
这里描述的被认为是任何有错误的、未终止的、或涉及无限循环的、任何类型的计算……这是针对Haskell的吗？
浏览 2提问于2011-06-17得票数 26
回答已采纳
云服务器
ICP备案
实时音视频
对象存储
云直播
腾讯云开发者
