コンビネータ式に変換されます。2つの引数の、前者を後者に適用する式を作る構築子です。デコードされ、標準出力に出力されます。渡されるべき式はどうなるでしょう。イメージとしては、こう。出力しますので、プログラムとしては、Kコンビネータで、第2引数の入力を捨てるだけですね。関数があるじゃないですか。動くみたいだけど、実行速度的に不安がある、かな......。エンコードもちゃんと考えてみましょう。このようなコードになっています。自然数をチャーチエンコーディング、リストをスコットエンコーディングでエンコードします。入門会で勉強してきました。読んだことありました。ラムダ式でコンスリストを表現するってやつです。コンビネータで書くとこうなります。I)なんで、こうなるのか、っていうと、こういうこと、......らしいです。ついては簡単なんで考えてみて下さい。変換して、チャーチエンコーディングして、それらをコンスリストにする、という処理になってます。チャーチエンコーディングついでにデコードするほうも見てみましょう。Iデコードするだけでなく、出力までしてますが、こんな感じです。