| 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. |
|