下载好之后注意看下载的版本，因为在之后的 .cabal 文件中要指定 codeworld-api 的版本

在Node的官网 (http://nodejs.org)之外，Node有很多Nodejs、NodeJS、Node.js。当听到这些词汇时，应该意识到，它们其实是一回事。Node名字的由来，其实跟它的起源有密切关系的。...

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

如果不做任何处理的话…生成的 ml 里的 nat 则都会是 Church Numeral…

basically, parser combinator (But 非常麻烦 in Coq)

点击上方“芋道源码”，选择“设为星标” 管她前浪，还是后浪？ 能浪的浪，才是好浪！ 每天 10:33 更新文章，每天掉亿点点头发... 源码精品专栏 原创 | Java 2021 超神之路，很肝~ 中文详细注释的开源项目 RPC 框架 Dubbo 源码解...

首先我们需要 check equality for types.这里非常简单，如果是 SystemF 会麻烦很多，对 ∀ 要做 local nameless 或者 alpha renaming:

最近有点无聊，突然想试试在各种语言里面实现Y组合子。不过写完之后，没想到结果完全出乎我的意料。嘛，让我们来看看不同语言里的Y组合子。

最近有空就在看Haskell，真是越看越觉得这个语言有意思。在知乎（原回答@阅千人而惜知己的）找到了一份很有意思的求素数代码，非常简洁，我觉得很能体现这个语言的特点。...

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