t_wの輪郭

Feedlyでフォローするボタン
プログラミング言語を作りたい経済産業省ラムダ計算擦るΣプロジェクトλプロジェクト

あれ

2023/10/4 21:42:00

プログラミング言語作りたい。

まず理解できるまでラムダ計算を勉強します。
そうして人生の終わりが来ます。

経済産業省に「λプロジェクト」とかいう名前で持ち込んで、Σプロジェクトを擦りたい。

あれ

あれ

2023/10/4 21:46:00

型付きラムダ計算が地獄なんじゃ。