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