join实用程序函数定义为：join x = x >>= id
假设>>=的类型是Monad m => m a -> (a ->m b) -> m b，而id是a -> a，那么在上面的定义中，该函数如何也被类型化为a -> m b呢？本例中的m和b是什么？
浏览 0提问于2012-04-21得票数 6
回答已采纳
我有一个关于Haskell型系统的问题。这不是我第一次遇到类型系统的限制。我将省略我的项目细节，并使用一个简化的例子。barrer：首先，使用特定于a类型的minBound值，并将其“转换”为整数。在我的项目中，我将继续转换这个整数(以避免使用a类型时的中间算术溢出)，并将它们“转换”回a类型(经过一些mod魔术之后)。我如何告
浏览 2提问于2015-06-02得票数 13
回答已采纳
1回答
定义此数据类型： deriving (Show)bottom = bottomHaskell是否只是试图证明程序的
浏览 1提问于2018-03-07得票数 3
回答已采纳
我喜欢使用C中的免费软件库和调用库函数节点，我目前正在编写LibXML2接口的程序。使用它，我有指向文档、节点、元素等的DLL指针，定义为Magic，指向DLL内存空间中的位置。当我为节点和文档创建严格的类型时，LabView允许我将文档魔术cookie连接到节点魔术cookie (或指针，反之亦然)，并且只指示内部强制转换。是否有一种方法来定义一个引用或无符号的
浏览 5提问于2020-11-30得票数 0
回答已采纳
阅读，我不得不问:具体而言，是什么使Haskell的类型系统比其他语言的类型系统(C、C++、Java)更强大。显然，即使是Scala也不能执行与Haskell类型系统相同的功能。具体而言，是什么使Haskell的类型系统(辛德雷-米尔纳式推理)如此强大？你能举个例子吗？
浏览 4提问于2010-09-24得票数 38
我使用haskell已经有一段时间了。我理解大多数/一些概念，但我仍然不明白，haskells类型系统到底允许我做什么，我不能在另一种静态类型的语言中做。我只是直观地知道haskell类型系统在任何可以想象的方式上都比C，C++或java中的类型系统更好，但我无法从逻辑上解释它，主要是因为对haskell和其他静态<e
浏览 2提问于2014-10-27得票数 2
Haskell允许使用类型构造函数和数据构造函数构造代数数据类型。例如,我们被告知这个数据构造函数(右圆)是在给定数据时构造一个圆的函数，例如x，y，radius。Circle :: Float -> Float -> Float -> Circle
我们可以定义构造函数吗？
浏览 0提问于2018-07-25得票数 18
4回答
功能程序设计与类型系统
、、、
我学习各种功能语言已经有一段时间了，包括Haskell、Scala和Clojure。Haskell有一个非常严格和定义良好的静态类型系统.Scala也是静态类型的。而Clojure则是动态类型的。所以我的问题是
语言<
浏览 5提问于2010-07-01得票数 17
回答已采纳
1回答
我一直在阅读各种类型的系统和lambda计算器，我看到lambda立方体中所有类型的lambda计算器都是强规范化的，而不是图灵等价物。这包括System，简单类型的lambda演算加上多态。这就引出了以下问题，我一直找不到任何可理解的答案：
Haskell中的哪些语言特性不属于F<em
浏览 5提问于2014-08-12得票数 48
回答已采纳
我正在尝试使用Data.Word，但我甚至不理解它的源代码。这里有一些精确的问题，但是如果您有一个更好的资源来使用Word或类似的库，这也可能是有帮助的。作为参考，让我们看看Word8 ()的实现
Word8 ({-# CTYPE "HsWord8"
浏览 3提问于2020-04-29得票数 1
回答已采纳
3回答
多态类型是Haskell类型系统的扩展，由UHC提供的，允许要打字(亲切的？)作为a -> (a -> *) -> *。它们有什么用呢？
浏览 1提问于2010-06-17得票数 17
回答已采纳
1回答
Python中的递归数据类型
、、、、
Python中最接近Haskell中的递归数据类型的东西可能是什么？(即在定义自身时使用类型自己的定义。)编辑：data Tree a = Leaf a | Branch (Tree a) (Tree a)
我是这样理解的</e
浏览 11提问于2020-09-02得票数 3
4回答
我开始在Haskell Wiki上阅读关于GADT的文章，但对它的理解并不是很舒服。你是否向Haskell初学者推荐了一个特定的书籍章节或一篇解释GADT的博客文章？
浏览 4提问于2010-10-26得票数 14
回答已采纳
并导致我的实际问题:它是什么东西，可以模仿在我自己的职能？我认为是后者，因为我已经阅读了haskell98规范和iirc，它说实现只需要为最多15个项定义元组运算符。而GHC已经做了所有的事情，让你达到任意的限制。那么，是否可以使用类型系统和现有的语言特性(声明、类型签名、函数定义等)从haskell实现本身定义这类操作符/函数？如果是，怎么做？还是不可能，您必须查看编译
浏览 3提问于2011-08-17得票数 43
回答已采纳
2回答
如何在Haskell中定义简单的分层访问控制系统？类似地，操作也在层次结构中：None > View > Edit。如果一个角色被允许编辑，它也应该能够查看。Contributor | Owner
浏览 0提问于2017-01-07得票数 7
回答已采纳
为了理解函数式编程，我正在学习Haskell，期望我能应用我在其他语言中获得的洞察力(主要是Groovy、Python、JavaScript )。我选择Haskell是因为我有这样的印象，它是非常纯粹的功能，不允许任何依赖状态。
我没有选择学习Haskell，因为我对导航一个非常严格的类型系统很感兴趣。我的问题是:强类型系统是非常纯功能语言的必要
浏览 0提问于2010-12-22得票数 33
回答已采纳
2回答
在Swift中，Optional的协方差是如何工作的？但是，如果我将MyOptional定义为 case Some(T)}var myOptionalViewmyOptionalButton = MyOptional.Some(button)
我知道错误：
错误:无法将“MyOptional<UIButton>”类型的</
浏览 0提问于2016-05-20得票数 14
回答已采纳
在Haskell上下文中解释Y组合器时，通常会注意到，直进实现不会在Haskell中进行类型检查，因为它是递归类型的。例如，来自罗塞塔科德：
使用Haskell中Y组合器的明显定义是因为它包含无限递归类型(a =a -> b)。定义数据类型(Mu)允许中断这种递归。fact_improver : (int -> int) -> int -> int = &l
浏览 0提问于2013-10-27得票数 22
回答已采纳
在阅读关于Haskell种类的文章时，我注意到一个主题：* -> *我的印象是，在哈斯克尔，种类最终归结为有多少星号。您可能会说，类型的类型实际上就是在它变成*之前需要应用到它的类型的数量。换句话说，除了最后一个，你可以计算所有的*，然后用整数来定义类型的类型，比如0，1，2等等。我的问题是：
这
浏览 0提问于2022-02-12得票数 14
回答已采纳
1回答
是否可以查询ghci中的统一类型？我想要解决的是第三版的练习13.23。如何使用Haskell系统检查两个类型表达式是否是统一的，如果是，它们的统一是什么？提示:您可以在Haskell中做虚拟定义，其中定义
浏览 3提问于2014-04-20得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
