杂谈向：为什么编译需要做语义分析 / 上下文（Context）与语法语义分析

在终端里播放幻灯片

基础的 Lambda 演算编程

搜索算法的抽象

如何避免重复计算 / 纯函数及其求值策略

迭代组合子的构造 - LCaC § 4C, Theorem 4.20

语言的安全与抽象

Church Encoding 简单笔记

Message Passing 视角下的 Bool - SICP § 2.4.3 | 泛型 | 数据与函数

Huffman 树的 Haskell 实现 | 组合数据的结构与解构

Scheme: `let` 的语义 (feat. `if` 的语义)

Nested Mapping Examples Implemented in Haskell - SICP § 2.2.3 | List Monad

我的常用 VSCode 快捷键

mit-scheme 配置与基本使用

Haskell 开发环境 (VSCode + GHCup + HLS) 修复记录

Rust 基础与 gdb 使用拾遗

简单的 Bash CLI 程序 & 简单的元编程

简单看看 `file` 命令