Re: [Scheme-reports] Formal Comment: clarify the semantics of the dynamic features Eli Barzilay 01 Jul 2012 21:26 UTC

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
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports