読者です 読者をやめる 読者になる 読者になる

UniversalLambda

Universal Lambda インタプリタを作ってみた

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