ラムダ計算
2023/9/27 23:47:00
あれ
2023/10/4 21:42:00
プログラミング言語作りたい。
まず理解できるまでラムダ計算を勉強します。
そうして人生の終わりが来ます。
経済産業省に「λプロジェクト」とかいう名前で持ち込んで、Σプロジェクトを擦りたい。
型付きラムダ計算
2023/9/27 23:48:00
『計算論理学 (けいさんろんりがく)』
2023/9/27 23:47:00
プログラミング言語作りたい。
まず理解できるまでラムダ計算を勉強します。
そうして人生の終わりが来ます。
経済産業省に「λプロジェクト」とかいう名前で持ち込んで、Σプロジェクトを擦りたい。