五十音图是日语学习的第一步，五十音图掌握得是否扎实，直接决定了入门阶段的学习效率与学习体验。 很多标日小伙伴表示对五十音图学习很困惑：这么多假名，这么多表，应当怎么入手才能在...
发简信
IP属地：北京
-
高效学习五十音图的12个要点和4个思路
-
（译）Haskell中的WHNF
在学习《real world Haskell》时对NF、WHNF的概念有些困惑，于是去stackoverflow查了查。本文来源于stackoverflow上的一个提问，大意...
-
猿学－Haskell学习-monad
什么是Monad Haskell是一门纯函数式的语言，纯函数的优点是安全可靠。函数输出完全取决于输入，不存在任何隐式依赖，它的存在如同数学公式般完美无缺。可是纯函数因为隔绝了...
-
群体进化分析--基因流及群体历史分析——我愿称之为史上最全基因流（也称基因迁移）是指从一个物种的一个种群向另一个种群引入新的遗传物质，从而改变群体“基因库”的组成。通过基因交流向群体中引入新的等位基因，是遗传变异一个非常重要的来源，...
-
λ演算(Lambda Calculus)入门基础（一）：定义与归约
此系列文章是我学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系统有些微帮助。由于之前看了不少...
-
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
-
-
medium翻译：Haskell In Production
这篇文章讲述我们为什么选择用Haskell构建the Hasura platform，以及为什么你也应该尝试将Haskell用于产品 (TL;DR) 我们构建了以 Hasur...
