Research - Chuigda Homepage

面向对象五十弦

锦瑟无端五十弦，一弦一柱思华年。庄生晓梦迷蝴蝶，望帝春心托杜鹃。沧海月明珠有泪，蓝田日暖玉生烟。此情可待成追忆，只是当时已惘然。

Published by Chuigda Whitegive at February 26, 2026

程序语言语义学：数数手指一二三

在这个框架下，一切就像“数数手指一二三”一样简单。学不会，你打我！

Published by Chuigda Whitegive at February 24, 2026

如何阅读类型系统符号

您是否曾经想要在群聊中跟大佬们谈笑风生类型论，但却对各种鬼画符犯怵而成不了老司机？本文这就带你速通巴科斯-瑙尔表示法、魔法平衡木、十字转门和各类希腊字母！

Published by Chuigda Whitegive at February 15, 2026

一个依值类型 λ 演算的教学实现

我是黑虎阿福，你准备受死吧！这是黑虎掏心，泰山压顶，还有二龙戏珠！螳螂拳，蛇形步，蝎子掌，莲花飘！弟子同心苦用功，遍地草木化成兵，凭仙人之艺，定灭洋人一扫平！

Published by Chuigda Whitegive at December 24, 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

理解 W 算法

博客 Understanding Algorithm W 的中文编译。

Originally created by Jeremy Mikkola at 2024

程序设计语言检查单 2024 版

学了点解析技术或者人工智能，觉得自己行了，想造个新语言？先来看看这个。

Originally created by BoppreH at 2024

十分钟计算机图形学

心跳第七通用设计局计算机图形学入门专用教材！~~你还在等什么，赶紧拨打热线电话订购吧！~~

Published by Chuigda WhiteGive at July 26, 2023

异步与协程 - 第二部分

本文在上集的基础上，进一步讨论了有栈和无栈协程的实现，并比较了它们的异同与优劣。

Published by Chuigda WhiteGive at July 13, 2023

异步与协程 - 第一部分

本文简单地介绍了异步与协程的基本概念，以及它们在程序设计语言中的应用。

Published by Chuigda WhiteGive at July 12, 2023

十分钟编译原理

本教程尝试用一种很少有人尝试过的手段，破除笼罩在编译器上那层神秘的玄学面纱，在十分钟内教会编译器中的基本概念。

Published by Chuigda WhiteGive at February 27, 2023

TypeScript 历险记

一个前端菜鸡不信邪，这是他捣鼓了一晚上 TypeScript 编译器的成果。

Published by Chuigda WhiteGive at January 20, 2022

FFmpeg 遇坑记

折腾一下还是挺锻炼个人能力的；但是没文档真的害死人。

Published by Chuigda WhiteGive at July 3, 2020

Five Minutes Rule

时间相信大家都很熟悉，但五分钟原则又是什么呢？下面就跟小编一起来看一下吧。

Published by Chuigda WhiteGive at April 15, 2020