[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
horrifyingly bad.

(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