t_wの輪郭

Feedlyでフォローするボタン
あれ型付きラムダ計算

あれ

2023/10/4 21:46:00

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

あれ

あれ

2023/10/4 21:53:00

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

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