t_wの輪郭

Feedlyでフォローするボタン
ラムダ計算
五十嵐淳『プログラミング言語の基礎概念』(サイエンス社)大堀淳『プログラム言語の基礎理論』 (共立出版)ラムダ・キューブSystem Fあれあれ『型付きラムダ計算 構文論 再入門 1/2: カリー/ハワード対応のために』

あれ

2023/10/4 21:53:00

世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。

ワシが学生の頃はラムダ計算のラの字もなかった。

あれ

2023/10/4 21:46:00

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