Lazy Kだけど

愛さえあれば

関係ないよね

俺、Lazy Kの実装終わったら

結婚するんだ

最初のタイトルは

はじめの一歩

標準出力への出力

→ Lazy Kは(入力)を(出力)に変換するだけで標準出力への書き出しは処理系の命令をそのまま使うだけ

文字列

SKIだけでどう表現する？

→ チャーチ数という数字を表す表現があるのでそれでASCIIコード生成して処理系で文字として扱う

実装例を見てみる

http://www.npca.jp/works/magazine/2012_3/

灘高すごい(KONAMI