こんにちは,KMC4回生のseikichi(id:se-kichi)です.今日はTypes and Programming Languagesの読書会を行いました.今までblogに書かれていませんでしたが,今回で3回目(6章)となります.
5章の型無しラムダ計算にはvariable captureの問題がありました.今回は変数を名前の代わりに自然数で表現(De Bruijn index)して対処するお話です.ページ数が少なかったため,30分程で終わりました.
次回は来週日曜の予定です.
こんにちは,KMC4回生のseikichi(id:se-kichi)です.今日はTypes and Programming Languagesの読書会を行いました.今までblogに書かれていませんでしたが,今回で3回目(6章)となります.
5章の型無しラムダ計算にはvariable captureの問題がありました.今回は変数を名前の代わりに自然数で表現(De Bruijn index)して対処するお話です.ページ数が少なかったため,30分程で終わりました.
次回は来週日曜の予定です.