バイナリラムダ計算の出力をモデル化する方法は？

Question

私はJohn Tromp's binary lambda calculus

のインタプリタを記述しようとしています、私は次の操作を行うためのコードを書かれている：

1. ベータ減らす
2. 定期的に型指定されていないラムダ計算を表すいくつかのデータ構造にバイナリ入力をパースしますこの用語

何が起こりますか？

• 「出力」はどのように解釈されますか？
• が出力さ
  • a）に戻って同じ符号を介してバイナリ翻訳結果の用語、
  • またはFalse末端ブール値のリストによってコードされるB）ビットストリーム？
• （そして、何の出力は、このようなリストを形成しない場合はどうなりますか？）

またはAM私はBLCがどのように動作するかを誤解？

Answer 1

http://www.ioccc.org/2012/tromp/hint.htmlをプライマリリファレンスとして使用することをお勧めします。 Wikipediaのページはおそらく上手ですが、BLCの彼の元のメモはかなり良いです。入力と出力のトピックに関する

、彼は言って、このている：

より具体的には、ビットの入力ストリームから、ラムダ計算のバイナリエンコーディングを解析し、汎用機械を、定義残りの入力に適用し（ラムダ計算の標準表現を有するブール値の遅延リストに変換される）、評価された結果を出力されるビットストリームに変換する。