[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Formal Comment: clarify the semantics of the dynamic features
40 minutes ago, John Cowan wrote:
> Form is content: the text of the draft is the only full expression
> of the semantics that exists. If I had my druthers, the formal
> semantics would go away altogether, but then I'm prejudiced against
> formal semantics: see
> http://lambda-the-ultimate.org/node/4478#comment-69764 if you are
> interested in my views.
Coming from someone involved in designing a language, this would be a
pretty bad thing to say. When applied to Scheme, it becomes
(Yes, this sounds like flaming, but I personally think that this is
*so* bad that it shouldn't go unhighlighted.)
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
Scheme-reports mailing list