UniversalLambda
以前作った Lazy K インタプリタを改造して、Universal Lambda のインタプリタを作ってみました。 clamb.c (github) Universal Lambda のコードを一旦 SKI コンビネータ式に変換して、あとは Lazy K と同じように実行します。公式のインタプリタ: lamb sort+…
以前作った Lazy K インタプリタを改造して、Universal Lambda のインタプリタを作ってみました。 clamb.c (github) Universal Lambda のコードを一旦 SKI コンビネータ式に変換して、あとは Lazy K と同じように実行します。公式のインタプリタ: lamb sort+…