私が歌川です

@utgwkk が書いている

2018-10-19から1日間の記事一覧

KMCの例会講座で「ラムダ計算のインタプリタを実装してみる」話をした

speakerdeck.com KMCの例会講座で,型無しラムダ計算についての軽い説明と,そのインタプリタを実装した話をしました. できた実装はこちらです. github.com 講座の流れ ラムダ計算について知ろう ラムダ項 束縛変数と自由変数 変数の置換(代入) α変換 β簡…