malloc-free な C 言語はチューリング完全かの続き

酒井さんがbrainfuck を実装してくれました。ありがとうございます。では pointer-free な C 言語はどうか、と聞いてみましたが、union でなんとかできそうとの返事。そっかー。

ちなみに元記事で再帰と書いた時は、「lambda 計算をエンコードできるかなー」と考えていたことをさっき思い出しました。