As a user, I just want to be able to spot the basic components of a source file without thinking about transformation rules. Well, most users are. Are what ?
Sorry if I've confused you. English isn't my native language. "Are able", of course.
Have you asked them all ?
If you're unsure, we can vote here or somewhere else.
Is this legal (`plus`) x y ?
Never tried to write this myself, it looks stupid. What else haven't you tried to write by know ?
Well, I hope, I haven't tried to write the most of stupid-looking things.
What kind of guarantees do you want? Written in blood.
Write it yourself, I don't have too much blood.
I just want the sistem to be able to print one of these expressions ! Its this too much to ask ? Yes, 'cause it means you want to embed almost all source code into the compiled program. So ?
So, I don't know any compiler of any language which does it.
On Tue, Dec 18, 2007 at 01:58:00PM +0300, Miguel Mitrofanov wrote:
I just want the sistem to be able to print one of these expressions ! Its this too much to ask ? Yes, 'cause it means you want to embed almost all source code into the compiled program. So ? So, I don't know any compiler of any language which does it.
Actually, it is a pretty fundamental feature of the lisp-derived languages that they can self modify their own source, and hence keep their own source representation all the way through runtime. Haskell didn't go that route, well, because it is not a lisp. And that is a-okay by me :) Though, it is certainly a valid and well explored choice as far as language design goes. John -- John Meacham - ⑆repetae.net⑆john⑈
On Dec 19, 2007, at 6:25 PM, John Meacham wrote:
On Tue, Dec 18, 2007 at 01:58:00PM +0300, Miguel Mitrofanov wrote:
I just want the sistem to be able to print one of these expressions ! Its this too much to ask ? Yes, 'cause it means you want to embed almost all source code into the compiled program. So ? So, I don't know any compiler of any language which does it.
Actually, it is a pretty fundamental feature of the lisp-derived languages that they can self modify their own source, and hence keep their own source representation all the way through runtime.
I'm not really a Lisp programmer, but don't you mean AST instead of source? I know for a fact that Io stores its source code at runtime though (although the emphasis is still on manipulating the AST). Tcl might do it too, but I don't really know Tcl and might be wrong.
On Dec 20, 2007 1:23 AM, Jake McArthur
On Dec 19, 2007, at 6:25 PM, John Meacham wrote:
On Tue, Dec 18, 2007 at 01:58:00PM +0300, Miguel Mitrofanov wrote:
I just want the sistem to be able to print one of these expressions ! Its this too much to ask ? Yes, 'cause it means you want to embed almost all source code into the compiled program. So ? So, I don't know any compiler of any language which does it.
Actually, it is a pretty fundamental feature of the lisp-derived languages that they can self modify their own source, and hence keep their own source representation all the way through runtime.
I'm not really a Lisp programmer, but don't you mean AST instead of source?
It's Lisp, they're basically the same thing!
Hallo,
On Dec 19, 2007 9:25 PM, John Meacham
Actually, it is a pretty fundamental feature of the lisp-derived languages that they can self modify their own source, and hence keep their own source representation all the way through runtime.
This is not actually true. You may be thinking of macros, but macro expansion time is before compile time. After compilation, not many, if any, modern Lisps keep the source around. Of course the old Lisp machines were different. Cheers, -- -alex http://www.ventonegro.org/
participants (5)
-
Alex Queiroz -
Jake McArthur -
John Meacham -
Luke Palmer -
Miguel Mitrofanov