Data is Code

The title of this post is a play on the Lisp aphorism: "Code is Data". In the Lisp world everything is data; code is just another data structure that you can manipulate and transform. However, you can also go to the exact opposite extreme: "Data is Code"! You can make everything into code and implement data structures in terms of code. You might wonder what that even means: how can you write any c

[kmizushima]

"Data is Code" と冒頭読んだ段階で、「これはλ計算でデータを表現する方法についての話かな？」と思って進めたら、だいたいあってたっぽい。

[igrep]

チャーチエンコード入門。