开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

无法匹配Haskell错误中的预期类型

Haskell是一种纯函数式编程语言，它的类型系统非常强大，能够在编译时捕获许多错误。当我们在Haskell中遇到错误时，编译器通常会给出一条错误信息，其中包含了预期的类型和实际的类型。

预期类型是我们在代码中期望的类型，而实际类型是代码中实际出现的类型。当预期类型和实际类型不匹配时，编译器会报错并给出相应的错误信息。

解决Haskell错误中的预期类型不匹配问题的方法通常有以下几种：

检查函数签名：首先，我们需要检查函数的签名是否正确。函数签名指定了函数的输入和输出类型。如果函数签名与实际使用的类型不匹配，编译器会报错。因此，我们需要确保函数签名正确，并与函数的实际使用相匹配。
检查函数调用：如果函数签名正确，我们需要检查函数的调用是否正确。确保传递给函数的参数类型与函数定义中的参数类型相匹配。如果参数类型不匹配，编译器会报错。
检查类型推导：Haskell具有强大的类型推导功能，可以根据代码上下文推导出表达式的类型。如果编译器报告预期类型与实际类型不匹配的错误，我们可以检查代码中的其他部分，看是否有类型推导错误的地方。
使用类型注释：在Haskell中，我们可以使用类型注释来明确指定表达式的类型。通过添加类型注释，我们可以确保编译器按照我们的预期类型进行类型检查。

总结起来，解决Haskell错误中的预期类型不匹配问题需要仔细检查函数签名、函数调用、类型推导和使用类型注释等方面。通过这些方法，我们可以找到并修复代码中的类型错误。

腾讯云相关产品和产品介绍链接地址：

腾讯云函数计算（云原生）：https://cloud.tencent.com/product/scf
腾讯云数据库（数据库）：https://cloud.tencent.com/product/cdb
腾讯云服务器（服务器运维）：https://cloud.tencent.com/product/cvm
腾讯云音视频解决方案（音视频）：https://cloud.tencent.com/solution/media
腾讯云人工智能（人工智能）：https://cloud.tencent.com/product/ai
腾讯云物联网（物联网）：https://cloud.tencent.com/product/iotexplorer
腾讯云移动开发（移动开发）：https://cloud.tencent.com/product/mad
腾讯云对象存储（存储）：https://cloud.tencent.com/product/cos
腾讯云区块链（区块链）：https://cloud.tencent.com/product/baas
腾讯云虚拟专用网络（网络通信）：https://cloud.tencent.com/product/vpc
腾讯云安全产品（网络安全）：https://cloud.tencent.com/product/ssp

相关搜索:Haskell monad:无法将预期类型：( CError a，[String])与实际类型匹配: a0 b0 Haskell:也无法匹配预期类型 Haskell:使用parseFileExif时，无法将类型‘IO’与‘[]’匹配 Haskell:无法将预期类型“Tree Char”与实际类型“Char -> Tree Char”匹配 Haskell中的软件事务内存:无法将预期类型STM a0与实际类型IO ()匹配 Haskell中的预期类型与实际类型不匹配 Haskell无法将预期类型[char]与实际类型IO匹配 Haskell错误-无法将类型`[Int] -> String‘与`[Char]’匹配；预期类型: String；实际类型：[Int] -> String Haskell错误:无法将类型‘a’与‘Double’匹配 Haskell错误:无法将预期类型`Bool'与推断类型`IO b'匹配

相关搜索:

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

C++、Python、Rust、Scala 构建编译器的差异性究竟有多大？

我在滑铁卢大学的最后一个学期选了CS444：编译原理这门课程，课程项目是编写一个编译器，将Java语言的子集编译成x86代码，三人结组，语言自由选择。

04

为什么 Haskell 是我们构建生产软件系统的首选

本文最初发布于 Foxhound Systems 网站，经授权由 InfoQ 中文站翻译并分享。

01

Heskell与函数式编程

该文介绍了函数式编程的概念、特点以及Haskell这门函数式编程语言的相关知识。

07

[译]柯里化有用吗？

在两年半前我写了这篇文章《为什么柯里化是有用的》 ——一些关于在JavaScript中使用柯里化函数的赞美之言。这篇文章轻松成为阅读量最大的一篇，每个月给我带来许多读者。

03

2019年需要关注的区块链智能合约开发平台

智能合约开发语言已经被Solidity统治了一段时间，它用于开发可以在以太坊虚拟机EVM上运行的智能合约。不过Solidity有一些严重的问题，包括算术溢出、类型错误以及曾经冻结了3亿美元的delegatecall漏洞。所有这些漏洞都是在开发语言层面存在的问题。换句话说，如果有一个好点的开发语言，本来应该可以创造更安全的智能合约。文本将列出在2019年值得关注的区块链智能合约开发技术趋势。

01

Monad_Haskell笔记10

从类型来看，Functor到Applicative再到Monad是从一般到特殊的递进过程（Monad是特殊的Applicative，Applicative是特殊的Functor）

05

从惰性IO说起_Haskell笔记6

从硬盘读文件时并不会一次性全读入内存，而是一点一点的流式读取。文本文件的话，默认buffer是line-buffering，即一次读一行，二进制文件的话，默认buffer是block-buffering，一次读一个chunk，其具体大小取决于操作系统

03

微软喜提Rust拟替代C/C++？凭什么！

今日 @开源中国一则消息引发热议：微软计划将 Rust 作为 C 和 C++ 的安全替代品。

01

让Monad来得更猛烈些吧_Haskell笔记11

最早接触过IO Monad，后来又了解了Maybe Monad和List Monad，实际上还有很多Monad（比如Writer Monad、Reader Monad、State Monad等），位于mtl package，可以通过ghc-pkg命令来查看：

04

newtype_Haskell笔记8

在List场景，xs <*> ys表示从左侧xs中取出函数作用于右侧ys中的每一项，有两种实现方式：

03

热爱函数式的你，句句纯正的 Haskell【表达式篇】

表达式是编程语言中最常用到的基础之一，本片让我们来看看在 Haskell 中表达式是怎样的？

03

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（引子）

我记得刚接触计算机的时候，我就受到了两个非常巨大的错误观念的影响，这个观念最初是来自于老师的传授还是学长的教诲已经记不清了，但是直到我工作几年以后，才慢慢有了实际的体会：

01

什么是好的编程语言？

本文作者是高级系统开发工程师 Torbear Gannholm。Torbear 有着 30 多年的开发经验，对技术很深刻的理解。对于什么是好的编程语言，他发表了一篇文章分享了自己的观点。以下是他的全文：

02

好的编程语言具备哪些特性？

本文作者是高级系统开发工程师 Torbear Gannholm。Torbear 有着 30 多年的开发经验，对技术很深刻的理解。对于什么是好的编程语言，他发表了一篇文章分享了自己的观点。以下是他的全文：

01

基础语法_Haskell笔记1

Haskell是一种纯函数式语言（purely functional programming language），其函数式特性的纯度没有争议

03

2017最受欢迎人工智能编程语言：Python第一，R并未上榜

【新智元导读】人工智能（AI）已经成为一个热门话题，也是一个大的研究领域，每个巨头科技公司以及创业公司都在其中努力。这是一个非常广泛的话题，从基本的计算器、自我导航技术到能够彻底改变未来的具有自我意识

06

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（类型系统）

接上文《从 Java 和 JavaScript 来学习 Haskell 和 Groovy（引子）》。

05

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（汇总）

这是这个系列的最后一篇，从编程范型的角度概览，前面几篇的链接在文章后半部分有汇总。

01

软件质量的黄金准则

在关于软件质量的相关谈论中，我通常会引用一条经验法则。所以，我决定发帖总结一下。我将其称为“软件质量的黄金准则”，因为它简单明了，并且可以广泛使用。

02

一个函数的自白

我是——编程世界的函数，不是数学中的幂，指，对和三角函数等等，但是和f（x）又有着千丝万缕的关系。

05

详细解答！从C++转向Rust需要注意哪些问题？

导语 | 在日常开发过程中，若长期使用C++语言，在初次使用Rust的过程中可能会碰到一些问题。本文尝试从C++的角度来说明在使用Rust时需要特别注意的一些地方，特别是其中的思维方式的转变(mind shift)。一、赋值的move语义（一）C++ vs Rust C++的赋值操作是copy语义，在不考虑优化的情况下，从语义的角度理解，赋值后内存中的某个对象即变成了两份。修改新的对象并不会对旧对象产生副作用。 ‍ 而Rust对赋值操作有更加精细的控制，以下两条：对于所有实现了Copy trai

03

如何设计一门编程语言？

通过上述步骤，可以系统化地设计和实现一门新的编程语言，并确保其具有良好的用户体验、强大的功能和稳定的生态系统。

01

热爱函数式的你，句句纯正的 Haskell【类型篇】

---- theme: github 每次看到干尸鬼鲛起舞，都有一种说不出的难受，不行，发出来，让大家一起难受难受~🐶 Haskell 是一门纯的函数式语言。也就是说计算机主要是通过函数来完成的（像在数学中一样），而不是通过“先做这个，再做那个”的命令式操作顺序进行的（像在主流的编程语言中一样）。—— Simon Peyton Jones 初见😀 什么是 Haskell ？我们从 wiki 上可以找到以下要点： Haskell 是一种标准化的，通用的纯函数式编程语言，有惰性求值和强静态类型；在H

03

热爱函数式的你，句句纯正的 Haskell【函数篇】

Haskell 值与函数是统一的，函数只是需要其他参数输入的值。如果定义的是函数，那么这个函数的行为在运行过程中也是不会改变的，对于某一个特定的输入返回的结果总是确定的，这样的函数为纯函数。

01

Kotlin版图解Functor、Applicative与Monad

这很简单。那么扩展一下，我们说任何值都可以放到一个上下文中。现在你可以把上下文想象为一个可以在其中装进值的盒子：

02

Java程序员新手老手都离不开八大开发工具

现在有很多库、实用工具和程序任Java开发人员选择。每个工具都有其优点，但其中有一些因它的知名度、多功能性和有效性从众多选项中脱颖而出。以下这8个工具，从代码构建到错误挤压，覆盖Java开发的全域。学习这些工具可以帮助你改善代码质量，成为一个更高效的Java开发人员。 JAVA 的用途：80%以上的高端企业级应用都使用JAVA平台（电信、银行等）。JAVA是成熟的产品，已经有10年的历史。如果你想在Java行业有所建树，想要系统的进行java的学习，那么你可以来这个群，前面是五一四，中间是一六七，后面是六七八连起来就可以了。这里有很多互联网大牛教你学习，还有java直播的课程。不是想学习的就不要加了。 1.Eclipse 尽管IntelliJ IDEA、NetBeans和一些其他的IDE正在日益普及，但是有调查表明，Eclipse仍然是几乎半数Java开发人员首选的开发环境。 Eclipse是IDE领域的瑞士军刀，有着大量定制的接口和无数的插件。它无处不在，后面本文将推荐的其他所有工具都提供Eclipse插件。 Eclipse的工作流程可分为三个方面：工作台，工作空间和视角。工作台作为到IDE的出发点。工作空间将项目、文件和配置设置组合在一个单独的目录下。视角定义工具、视图和有效设置。虽然新手开发人员可能会觉得相比Netbeans和IntelliJ IDEA，Eclipse使用起来更难，但Eclipse的灵活性，使其成为企业开发的首选IDE。 Luna，Eclipse的最新版本，支持Java 8、分屏编辑、新的黑色主题，以及一个功能齐全的命令行终端。官方网站：https://eclipse.org/ 2.IDEA IDEA 全称IntelliJ IDEA，是用于java语言开发的集成环境（也可用于其他语言），IntelliJ在业界被公认为最好的java开发工具之一，尤其在智能代码助手、代码自动提示、重构、J2EE支持、Ant、JUnit、CVS整合、代码审查、创新的GUI设计等方面的功能可以说是超常的。IDEA是JetBrains公司的产品，这家公司总部位于捷克共和国的首都布拉格，开发人员以严谨著称的东欧程序员为主。官方网站：https://www.jetbrains.com/idea/ 3.Javadoc Javadoc是Oracle提供的文档生成器。它可以将特殊格式的注释解析为HTML文档。以下截图就是Javadoc生成的Java SE 8 API规范： Javadoc注释使用开放标签、关闭标签，以及一个或多个描述性标签的格式。开放式标签类似于标准Java多行注释标记，使用两个星号的除外。Javadoc也解析普通的HTML标签。 Javadoc自动格式化标签和关键字，除非另有规定。Javadoc广泛使用超链接，允许你参考和链接到代码的不同区域。许多IDE——包括 Eclipse——可以自动添加Javadoc注释模块到变量、类和方法中。支持Maven、Gradle和Ant的插件在编译代码的同时也可以构建 Javadoc HTML。想要了解更多信息，请参阅Oracle关于如何为Javadoc工具写文档注释的文章。官方网站：http://www.oracle.com/technetwork/java/javase/documentation/index-jsp-135444.html 4.JUnit JUnit是用于编写和运行单元测试的开源框架。一个基本的JUnit测试包括测试类、测试方法、以及执行测试的功能。 JUnit使用标注来确定测试如何构造和运行。例如，如果你的程序有一个类叫做MathClass，具有乘法和除法的方法，你可以创建JUnit测试来检查不符合预期的值。输入数字2和5到乘法方法，你希望得到的结果为10。当输入0作为除法方法的第二个参数时，你会期望给出一个数字计算异常的警告因为除数不能为0： @Test标注规定，MathClass方法是一个测试用例。在JUnit提供额外的标注，比如@Before，这样你就可以在测试运行之前设置环境。 JUnit还可以设置规则用于定义测试方法的行为。例如，TemporaryFolder规则使得一旦测试完成，由测试创建的文件或文件夹就会被删除。想要了解更多信息，请参考JUnit入门。此外还有使用JUnit单元测试的教程。官方网站：http://junit.org/ 5.Notepad++

03

Java程序员新手老手都离不开八大开发工具

现在有很多库、实用工具和程序任Java开发人员选择。每个工具都有其优点，但其中有一些因它的知名度、多功能性和有效性从众多选项中脱颖而出。以下这8个工具，从代码构建到错误挤压，覆盖Java开发的全域。学习这些工具可以帮助你改善代码质量，成为一个更高效的Java开发人员。 JAVA 的用途：80%以上的高端企业级应用都使用JAVA平台（电信、银行等）。JAVA是成熟的产品，已经有10年的历史。如果你想在Java行业有所建树，想要系统的进行java的学习，那么你可以来这个群，前面是五一四，中间是一六七，后面是六七八连起来就可以了。这里有很多互联网大牛教你学习，还有java直播的课程。不是想学习的就不要加了。 1.Eclipse 尽管IntelliJ IDEA、NetBeans和一些其他的IDE正在日益普及，但是有调查表明，Eclipse仍然是几乎半数Java开发人员首选的开发环境。 Eclipse是IDE领域的瑞士军刀，有着大量定制的接口和无数的插件。它无处不在，后面本文将推荐的其他所有工具都提供Eclipse插件。 Eclipse的工作流程可分为三个方面：工作台，工作空间和视角。工作台作为到IDE的出发点。工作空间将项目、文件和配置设置组合在一个单独的目录下。视角定义工具、视图和有效设置。虽然新手开发人员可能会觉得相比Netbeans和IntelliJ IDEA，Eclipse使用起来更难，但Eclipse的灵活性，使其成为企业开发的首选IDE。 Luna，Eclipse的最新版本，支持Java 8、分屏编辑、新的黑色主题，以及一个功能齐全的命令行终端。官方网站：https://eclipse.org/ 2.IDEA IDEA 全称IntelliJ IDEA，是用于java语言开发的集成环境（也可用于其他语言），IntelliJ在业界被公认为最好的java开发工具之一，尤其在智能代码助手、代码自动提示、重构、J2EE支持、Ant、JUnit、CVS整合、代码审查、创新的GUI设计等方面的功能可以说是超常的。IDEA是JetBrains公司的产品，这家公司总部位于捷克共和国的首都布拉格，开发人员以严谨著称的东欧程序员为主。官方网站：https://www.jetbrains.com/idea/ 3.Javadoc Javadoc是Oracle提供的文档生成器。它可以将特殊格式的注释解析为HTML文档。以下截图就是Javadoc生成的Java SE 8 API规范： Javadoc注释使用开放标签、关闭标签，以及一个或多个描述性标签的格式。开放式标签类似于标准Java多行注释标记，使用两个星号的除外。Javadoc也解析普通的HTML标签。 Javadoc自动格式化标签和关键字，除非另有规定。Javadoc广泛使用超链接，允许你参考和链接到代码的不同区域。许多IDE——包括 Eclipse——可以自动添加Javadoc注释模块到变量、类和方法中。支持Maven、Gradle和Ant的插件在编译代码的同时也可以构建 Javadoc HTML。想要了解更多信息，请参阅Oracle关于如何为Javadoc工具写文档注释的文章。官方网站：http://www.oracle.com/technetwork/java/javase/documentation/index-jsp-135444.html 4.JUnit JUnit是用于编写和运行单元测试的开源框架。一个基本的JUnit测试包括测试类、测试方法、以及执行测试的功能。 JUnit使用标注来确定测试如何构造和运行。例如，如果你的程序有一个类叫做MathClass，具有乘法和除法的方法，你可以创建JUnit测试来检查不符合预期的值。输入数字2和5到乘法方法，你希望得到的结果为10。当输入0作为除法方法的第二个参数时，你会期望给出一个数字计算异常的警告因为除数不能为0： @Test标注规定，MathClass方法是一个测试用例。在JUnit提供额外的标注，比如@Before，这样你就可以在测试运行之前设置环境。 JUnit还可以设置规则用于定义测试方法的行为。例如，TemporaryFolder规则使得一旦测试完成，由测试创建的文件或文件夹就会被删除。想要了解更多信息，请参考JUnit入门。此外还有使用JUnit单元测试的教程。官方网站：http://junit.org/ 5.Notepad++

02

如何掌握程序语言

学习程序语言是每个程序员的必经之路。可是这个世界上有太多的程序语言，每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言，而且必须紧跟“潮流”，否则就怕被时代所淘汰。　　作为一个程序语言的研究者，我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单，永恒不变的原理。看到了它们，就可以在很短的时间之内就能学会并且开始使用任何新的语言，而不是花费很多功夫去学习一个又一个的语言。对程序语言的各种误解　　学习程序语言的人，经常会出现以下几种心理，以至于他们会觉得有学不完

04

如何掌握程序语言

学习程序语言是每个程序员的必经之路。可是这个世界上有太多的程序语言，每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言，而且必须紧跟“潮流”，否则就怕被时代所淘汰。作为一个程序语言的研究者，我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单，永恒不变的原理。看到了它们，就可以在很短的时间之内就能学会并且开始使用任何新的语言，而不是花费很多功夫去学习一个又一个的语言。对程序语言的各种误解学习程序语言的人，经常会出现以下几种心理，以至于他们会觉得有学不完的东西，

09

Scala 的模式匹配

最近开始学习 Scala，相较于学习 Haskell 的过程来看，Scala 真是直观得多，友好得多，更容易上手。以前写过关于从熟悉的 Java 和 JavaScript 来逐步学习 Groovy 和 Haskell 的文章，这以后再来学习 Scala 的话，就可以不断比较了。如果和我一样有 Java 经验的话但是从来没有接触过 Scala 的话，建议先阅读这篇文章，A Scala Tutorial for Java Programmers，一边比较，一边熟悉，同时配套的还有这个，Scala for Java programmers – Joakim Ohlrogge & Enno Runne，Youtube 上的视频，很直观，然后再从 Scala 官网的文档上面逐步涉入。

03

Java程序员新手老手都离不开八大开发工具

现在有很多库、实用工具和程序任Java开发人员选择。每个工具都有其优点，但其中有一些因它的知名度、多功能性和有效性从众多选项中脱颖而出。以下这8个工具，从代码构建到错误挤压，覆盖Java开发的全域。学习这些工具可以帮助你改善代码质量，成为一个更高效的Java开发人员。 JAVA 的用途：80%以上的高端企业级应用都使用JAVA平台（电信、银行等）。JAVA是成熟的产品，已经有10年的历史。如果你想在Java行业有所建树，想要系统的进行java的学习，那么你可以来这个群，前面是五一四，中间是一六七，后面是六七八连起来就可以了。这里有很多互联网大牛教你学习，还有java直播的课程。不是想学习的就不要加了。 1.Eclipse 尽管IntelliJ IDEA、NetBeans和一些其他的IDE正在日益普及，但是有调查表明，Eclipse仍然是几乎半数Java开发人员首选的开发环境。 Eclipse是IDE领域的瑞士军刀，有着大量定制的接口和无数的插件。它无处不在，后面本文将推荐的其他所有工具都提供Eclipse插件。 Eclipse的工作流程可分为三个方面：工作台，工作空间和视角。工作台作为到IDE的出发点。工作空间将项目、文件和配置设置组合在一个单独的目录下。视角定义工具、视图和有效设置。虽然新手开发人员可能会觉得相比Netbeans和IntelliJ IDEA，Eclipse使用起来更难，但Eclipse的灵活性，使其成为企业开发的首选IDE。 Luna，Eclipse的最新版本，支持Java 8、分屏编辑、新的黑色主题，以及一个功能齐全的命令行终端。官方网站：https://eclipse.org/ 2.IDEA IDEA 全称IntelliJ IDEA，是用于java语言开发的集成环境（也可用于其他语言），IntelliJ在业界被公认为最好的java开发工具之一，尤其在智能代码助手、代码自动提示、重构、J2EE支持、Ant、JUnit、CVS整合、代码审查、创新的GUI设计等方面的功能可以说是超常的。IDEA是JetBrains公司的产品，这家公司总部位于捷克共和国的首都布拉格，开发人员以严谨著称的东欧程序员为主。官方网站：https://www.jetbrains.com/idea/ 3.Javadoc Javadoc是Oracle提供的文档生成器。它可以将特殊格式的注释解析为HTML文档。以下截图就是Javadoc生成的Java SE 8 API规范： Javadoc注释使用开放标签、关闭标签，以及一个或多个描述性标签的格式。开放式标签类似于标准Java多行注释标记，使用两个星号的除外。Javadoc也解析普通的HTML标签。 Javadoc自动格式化标签和关键字，除非另有规定。Javadoc广泛使用超链接，允许你参考和链接到代码的不同区域。许多IDE——包括 Eclipse——可以自动添加Javadoc注释模块到变量、类和方法中。支持Maven、Gradle和Ant的插件在编译代码的同时也可以构建 Javadoc HTML。想要了解更多信息，请参阅Oracle关于如何为Javadoc工具写文档注释的文章。官方网站：http://www.oracle.com/technetwork/java/javase/documentation/index-jsp-135444.html 4.JUnit JUnit是用于编写和运行单元测试的开源框架。一个基本的JUnit测试包括测试类、测试方法、以及执行测试的功能。 JUnit使用标注来确定测试如何构造和运行。例如，如果你的程序有一个类叫做MathClass，具有乘法和除法的方法，你可以创建JUnit测试来检查不符合预期的值。输入数字2和5到乘法方法，你希望得到的结果为10。当输入0作为除法方法的第二个参数时，你会期望给出一个数字计算异常的警告因为除数不能为0： @Test标注规定，MathClass方法是一个测试用例。在JUnit提供额外的标注，比如@Before，这样你就可以在测试运行之前设置环境。 JUnit还可以设置规则用于定义测试方法的行为。例如，TemporaryFolder规则使得一旦测试完成，由测试创建的文件或文件夹就会被删除。想要了解更多信息，请参考JUnit入门。此外还有使用JUnit单元测试的教程。官方网站：http://junit.org/ 5.Notepad++

00

125. 精读《深度学习 - 函数式之美》

函数式语言在深度学习领域应用很广泛，因为函数式与深度学习模型的契合度很高，The Beauty of Functional Languages in Deep Learning — Clojure and Haskell 就很好的诠释了这个道理。

01

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（DSL）

这是《从 Java 和 JavaScript 来学习 Haskell 和 Groovy》系列的第四篇。

01

选Python还是选Java？2020年，顶尖程序员最应该掌握的7种编程语言

选自知乎用户：https://www.zhihu.com/question/284549387/answer/451018336

00

当我们谈论Monad的时候（二）

在上一篇文章中，我通过几个Java的例子简单的说明了Monad的本质和一些工程中常见的用途。接下来的文章就不再侧重于工程了，而是要慢慢向理论转换。而作为过渡，我选择了Haskell来代替Java进行说明。本篇文章默认读者已经对Haskell的基本语法有所了解，因此对此类内容我不会再做赘述。

01

ubuntu 14.04 install haskell

haskell是一种函数编程式语言，ghc是Glasgow Haskell Compiler的简称，也是Haskell Platform的基础. 下面是安装ghc的步骤：

01

TypeScript 4.1 发布，新增模板字面量类型

TypeScript 团队发布了 TypeScript 4.1，其中包括功能强大的模板字面量类型、映射类型的键重映射以及递归条件类型。

02

Null 值及其处理方式

Null 值由来已久，它最早是由 Tony Hoare 图方便而创造的，后来被证明这是个错误，而他本人也对此进行了道歉，并称之为「十亿美金错误」1。

04

来看看几种 Monad来看看几种 Monad

https://learnyoua.haskell.sg/content/zh-cn/ch12/a-fistful-of-monads.html

02

又要头秃？2020年七大AI编程语言大盘点

人工智能已成为我们日常生活不可或缺的一部分，它被广泛地应用到几百种实际场景中，极大地便利人们的工作和生活。

02

高薪AI工程师都在用什么编程语言？2020 年七大 AI 编程语言大盘点

人工智能已成为我们日常生活不可或缺的一部分，它被广泛地应用到几百种实际场景中，极大地便利人们的工作和生活。

02

弱类型、强类型、动态类型、静态类型语言的区别是什么

语言设计时，可以定义一组forbidden behaviors. 它必须包括所有untrapped errors, 但可能包含trapped errors.

03

Monad 定律

monad 是支持>>=操作的 applicative 函子，>>=读作绑定，它的类型是：

03

11月编程语言排行榜，Java第一，iOS真的没人要了？

11月编程语言排行榜，Java稳居第一，iOS真的没人要了？

09

learn-haskell

引言 Haskell不同于Scala，是一门纯函数式语言，它强制使用者使用函数式语法而没有妥协。是一门强类型定义的静态类型语言。它的**类型模型基于推断理论（in-ferred）**并被公认为是函数语言中最高效的类型系统之一。你会发现该类型系统支持多态语义并有助于人们作出十分整洁清晰的设计。支持Erlang风格的模式匹配（pattern matching）和哨兵表达式。你也能在Haskell中发现Clojure风格的惰性求值（lazyevaluation）以及与Clojure和Erlang相同的列表推导

03

成为函数式编程工程师四年，我为什么说它既“流氓”又“可爱”

近年来，函数式编程发展突飞猛进。探讨该主题的书籍和会议数量激增、Scala 和 Clojure 等语言在快速普及，还有 John Carmack、Bob Martin 等名人的支持，都说明了这一事实。

02

为何 Go 的声明语法有点怪？（语法比较）

Go 语法对第一次接触 Go 的新手来有点怪，因为大家习惯了类 C 语法将类型放在前面的方式，对 Go 将类型放在参数后面有点不习惯，刚开始感觉很别扭，那 Go 设计者是基于什么考量才设计成这样呢？这里我们比较一下 C，Go，Haskell 三者的语法，可以看到其实语言的语法其实都是服务于自己的设计目标的。

04

沅有芷兮：类型系统的数学之美

昨天的文章删了，因为我的 vscode 把 markdown 里的 * 自动替换成了 _，导致一些公式的表述变得异常奇怪。另外，原创忘记打开了。

01

2017值得一瞥的JavaScript相关技术趋势

跨年前两天，Dan Abramov在Twitter上提了一个问题： JS社区毫不犹豫的抛出了它们对于新技术的预期与期待，本文内容也是总结自Twitter的回复，按照流行度降序排列。有一个尚未确定的小

04

函子定律

前段时间学了下 Haskell，看完了《Haskell 趣学指南》，刷了一些题，《Real World Haskell》正在看。因为早先看过《SICP》，有点 FP 的基础，平常写 Swift 也喜欢用些 FP 的技巧，所以暂时没有什么特别颠覆性的感觉。最大的感受是，以前对 Functor、Applicative 和 Monad 的理解太片面了。

02

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭