五十音图是日语学习的第一步，五十音图掌握得是否扎实，直接决定了入门阶段的学习效率与学习体验。 很多标日小伙伴表示对五十音图学习很困惑：这么多假名，这么多表，应当怎么入手才能在...
发简信
IP属地：北京
-
高效学习五十音图的12个要点和4个思路
-
（译）Haskell中的WHNF
在学习《real world Haskell》时对NF、WHNF的概念有些困惑，于是去stackoverflow查了查。本文来源于stackoverflow上的一个提问，大意...
-
猿学－Haskell学习-monad
什么是Monad Haskell是一门纯函数式的语言，纯函数的优点是安全可靠。函数输出完全取决于输入，不存在任何隐式依赖，它的存在如同数学公式般完美无缺。可是纯函数因为隔绝了...
-
群体进化分析--基因流及群体历史分析——我愿称之为史上最全基因流（也称基因迁移）是指从一个物种的一个种群向另一个种群引入新的遗传物质，从而改变群体“基因库”的组成。通过基因交流向群体中引入新的等位基因，是遗传变异一个非常重要的来源，...
-
您好，currying: λx y.xy = λx.(λy.xy)中，紧挨着的两个符号xy是表示x应用于y吗?
λ演算(Lambda Calculus)入门基础（一）：定义与归约
此系列文章是我学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系统有些微帮助。由于之前看了不少...
-
λ演算(Lambda Calculus)入门基础（一）：定义与归约
此系列文章是我学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系统有些微帮助。由于之前看了不少...
-
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
-
-
medium翻译：Haskell In Production
这篇文章讲述我们为什么选择用Haskell构建the Hasura platform，以及为什么你也应该尝试将Haskell用于产品 (TL;DR) 我们构建了以 Hasur...
-
【函数式】Monads模式初探——Endofunctor自函子 自函子（Endofunctor）是一个将范畴映射到自身的函子（A functor that maps a category to itself）。函子是将一个范畴转换...
-
Idris 语言入门教程简介 Emacs集成 Idris 开发环境 Idris repl 使用说明 Idris 代数类型定义 1. Emacs 安装 idris-mode emacs 打开任何以*....
-
44.伴随函子的例子：自由幺半群a.考虑幺半群和幺半群同态构成的范畴。 基础集函子（实际上就是遗忘函子）有左伴随。 作用效果是，对每一个给定的集合X，FX就是X上的自由幺半群（将X中的元素作为字母，生成的有...
-
Write Yourself a Scheme in 48 Hours
原文。https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours 概论 大部分网路上的Haskell教...
-
haskell与范畴论总结
这篇文章只会大概解释一下，具体内容需要参考文中提到的连接。Haskell语言学习可以看这个教程，这篇文章不会介绍Haskell语言的具体细节。 范畴论的介绍，这篇东西到fun...
-
-
