一个依值类型 λ 演算的教学实现
我要拿三位原作者的脑袋传球射门!我是黑虎阿福,你准备受死吧!这是黑虎掏心,泰山压顶,还有二龙戏珠!螳螂拳,蛇形步,蝎子掌,莲花飘!弟子同心苦用功,遍地草木化成兵,凭仙人之艺,定灭洋人一扫平!
Published by Chuigda Whitegive at December 24, 2025Explain IO Monad in 2025
And since now if you see anyone repeats the «language is pure while runtime is not» mantra to newbies once again, you should smile mercilessly and smack them with a rolled-up printout of this article.
Published by Chuigda WhiteGive at December 9, 2025十分钟编译原理
本教程尝试用一种很少有人尝试过的手段,破除笼罩在编译器上那层神秘的玄学面纱,在十分钟内教会编译器中的基本概念。
Published by Chuigda WhiteGive at February 27, 2023TypeScript 历险记
一个前端菜鸡不信邪,这是他捣鼓了一晚上 TypeScript 编译器的成果。
Published by Chuigda WhiteGive at January 20, 2022Five Minutes Rule
时间相信大家都很熟悉,但五分钟原则又是什么呢?下面就跟小编一起来看一下吧。
Published by Chuigda WhiteGive at April 15, 2020Understanding Algorithm W
博客 Understanding Algorithm W 的中文翻译。
Originally created by Jeremy Mikkola at 2018