http://www.yinwang.org/blog-cn/2012/07/04/dan-friedman #CS #recommended

#recommended #PL https://github.com/heidisu/java8kanren

https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm

51 行，就实现了一个至少在 R6RS 上可用的逻辑式 DSL...

后面贴了他那 40 行代码，唉（真心的），我也是现在才知道他说这些代码真是“最优雅”的四十行的原因了

为了描述它，很多人（当然明显也水平不低，要不然连 CPS 是啥都可能不知道）“连平行宇宙、世界”都拿来做比喻了，效果很不好，他们或许自己的确懂，但他们不会教给别人自己所知道的知识

如果连《The Little Schemer》都没看过的话，大概也是不可能真正理解 CPS 的含义吧，就是后端老油条、精通 C++ template... coroutine... imperative 过程式语言实现、处理各种锁各种数据竞争问题...，看几遍“这个世界 那个世界”这种描述大概也没人真正明白

— 其实就是一个简单的问题，那 40 行代码到底是拿来做什么的，连怎么用都不需要知道，我想这都是苛求了

现在看来，我知道当初那些知乎上的程序员，大部分真的都不知道它是做什么的，只是不明觉历，而知乎上 PL 爱好者也不会特别纠结这些问题

Friedman 弗里德曼教授，总是能用尽可能简明易懂的方式梳理知识，尝试简化一切，这真的是有好处的。过度复杂化只会让你要记的更多，思考的更累，人非圣贤。Scheme 复制的定义都是从更小的定义组装起来的。模块化、彻底解藕不也正是现在工程的风向标吗？

而且我觉得他和王垠大概是真的天才（要不然怎么能在一周里做出别人十年才能完成的算法呢），即使这样，也不应该有神的存在。天才的存在促人进步，神的存在阻碍人进步。计算机科学不需要一个人成为只能被人膜拜的神，那对科学发展没有帮助

最后回复我下面提到某个知乎问题的某个造压缩算法和计算机网络的回答（正好我看得到一本《Internet 原理于技术》，如果他说的是真的那水平应该在不同方向和王垠差不多），神是人造的，不是神自己造的，如果不是那么多完全不懂和不懂装懂、完全不是一个世界的人凑热闹，他怎么会被当成神一样看待？

如果你们看不懂的话，上面我那个知乎问题有人回答的好的可以看看，现在我也没全看懂，他们描述的层面方向太多了

https://zh.wikipedia.org/wiki/%E9%82%B1%E5%A5%87%E6%95%B0

这篇写得不错可以了解一下（啊久违的中文）

（看不懂是不要紧的，同样的东西，即使没有啥“Primer”，不同例子看几十遍一般都能总结出其语法语义了
（lambda 演算的话，会看 Scheme/Haskell 之类的人一般看几遍都能看懂的

看不懂这里有 ANTLR 规则（真心推荐），规则是比较容易理解的吧（这或许是最短的 ANTLR 规则了，59 行）（虽然不一定能解析 wiki 上比较不规范的自然表示方法）

（我目前也暂时没看懂，我只记得儿童书（The Little Schemer）上教的用 '() 表示 0 '(()) 表示 1 了

https://www.zhihu.com/question/20822815

我指的是这个

for example 举个例子吧

λn w z. ((n λl h. h (l w)) (λd.z)) (λx.x)

lamdba.g4 是无法解析的，它的规则如下（ANTLR 是个 Java Parser Combinator，你可以理解为高端正则表达式，比正则的 Group 引用还高级）

Expression: variable | Function | Application;

Scope: Expression;
Function: 'λ' variable '.' Scope;
Application: '(' expression expression ')';

variable: [a-z] [a-zA-Z0-9]*;
WS: [ \t\r\n] -> skip;

举个例子，+1 （因为 lambdac 偏向数学系所以一般是举数学定义的例子，但我数学菜就只能举例 1 + 1）

（我们假设 R6RS Scheme 里能用的函数现在都有） (make-base-namespace)



(define add1 (λx.(+ x 1)))
(display (foldr add1 0 '(1 2 3 4)))

刚才查了好久 foldr，现在给出它的定义

foldr f z [] = z
foldr f z (x:xs) = f x (foldr f z xs)

(define foldr (lambda (f z l)
  (foldr ((f (car l)) (foldr f z (cdr l))))))

（Haskell... 好像暂时有点难理解，算了（上面那个是错的

居然是签名的 好耶

大概这就是大佬的日常吧...

…说服不了自己

果然今日还是一事无成

Ayaka Neko。是可爱而又真实存在的人呢…是类似的人呢。不会是类似的结局的。是最喜欢的人，是永远喜欢的人。

— 羽毛

#LGBT #life origin origin1

「猫会通过好好活着来怀念过去深爱的某个人。」

— 羽毛

曾经在上海，现在在流浪。
也许是🏳️‍🌈。
心中的悲伤满溢出来。
与你们不在同一个世界。

— 羽毛

#linux 说真的，作为一篇 GNU/Linux 入门教程的话，可能太草了。

这样我连 Bash 按 Tab 可以自动补齐都不知道

我当年学 GNU/Linux 时是花了很多时间才学会 GNU Coreutils 和 bash 内部命令的
有些东西需要时间，但你花了时间以后，别人就可以少花时间

我希望好的教程，绝对不止这样的篇幅、这样的详尽程度。
大概还是恨铁不成钢吧。如果原作者看到了，希望还请见谅。

作者在我看来技术水平绝对不低，但如果教程是成型版的话，可能还不足够能让人学习到实用的知识

希望能从 CLI 交互开始教，毕竟大概也不是面向非 Geeks 的教程吧

如果必要的话，或许还可以来一个简洁的 C 语言入门教程、Bash 高级语言特性入门，毕竟很多真正想上生产的服务器管理员大概都能拿 PHP 什么的写点小应用吧。

补充一下，其实是羽毛「张千叶」发在和 neko 的频道上的。我这一段时间不关心 AI 开发方面的事情

她真的是很优秀的工程师，什么都关心，永远不满足于现在的技术栈，不像有些工程师满足于几年里能学会的知识，然后可能以后就不怎么了解新东西了

我很尊敬这样的工程师，可惜因为现在社会的一些偏见最终是没有与之结交，后来她选择了自杀，也是没有想到，本来说为了纪念所爱的人勇敢的活下去，最后还是没有希望活下去了吧。