GNU Guile 2.2.0

Re:GNU Guile 2.2.0 by mschaef on Thursday March 16, 2017 @12:29PM (#13886351)

> skipping the parse step entirely.

Not strictly true... there is still parsing involved in reading Lisp data structures from a character stream. (It's just much less involved than in traditional infix languages.)

The way to think of it is this: 1) Lisp has a much more comprehensive (and read/write) syntax for its core data structures. 2) Lisp, the language, is defined in terms of those data structures rather than in terms of character sequences and grammar productions.

[ Parent | on HN ]

Re:GNU Guile 2.2.0 by marktangotango on Thursday March 16, 2017 @03:30PM (#13888338)

I think of it as serialing/deserializins the AST to text :)

[ Parent | on HN ]

Re:GNU Guile 2.2.0 by mschaef on Thursday March 16, 2017 @04:09PM (#13888706)

I can see that, but it doesn't feel quite right. The tree you get directly from deserialized source text is still a bit more fine grained than I'd expect a true AST to be.

To see what I mean, consider this:

    (if condition 1 2 3)

This expression can be deserialized into a Lisp data structure, but it still contains a syntax error, and I don't think a true AST would be able to represent that syntax error.

[ Parent | on HN ]