Common Lispで関数を渡すとき、なぜ #’fact と書くのか（シンボルと関数オブジェクト） 2026-04-19 by chiilabo #Common Lisp（113） #REPL（25） #defun（20） #S式（17） #mapcar（13）
【Lean】コンパイラの型チェックで、証明を検証したことになるカラクリ 2026-03-282026-03-27 by chiilabo #関数型プログラミング（15） #コンパイラ（7） #型推論（6） #カーネル（4） #シンボルテーブル（4）
K&R CとANSI Cを比較する：プログラミング言語の哲学的変遷 2026-02-212025-04-19 by chiilabo #C言語（16） #プログラミング言語（13） #ポインタ（9） #関数定義（6） #エラー処理（5）
Kernighanの「hoc」インタープリタから学ぶUNIXの哲学 2026-02-212025-04-17 by chiilabo #C言語（16） #プログラミング言語（13） #条件分岐（13） #関数定義（6） #Brian Kernighan（4）