From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Thu Apr 10 20:25:54 EDT 2008 |
|
Matthias and I pushed for that vision. I don't think either of us for a moment believed it had anything to do with programs being data. By the way, programs are data in virtually all languages. E.g., "void main () {return 0;}" is a perfectly valid string in C. At a less mundane level, this is the heart of Godel's insight. Shriram
Posted on the users mailing list. |
|