[racket] #lang

15 minutes ago, Eli Barzilay wrote:
> [...]
> -1.
> [...]
> -1.
> [...]

BTW, to put these negatives in more perspective -- a *lot* of work has
been put to make the `#lang' lines very simple -- easy to remember,
and easy to write.  So I view removing them from the user's explicit
reach and instead leaving it for some gui to generate as something
that goes against the whole idea of `#lang'.

In yet other words, there was this progression:

  1. language determined by user choice, saved as a preference, hard
     to replicate with non-drracket uses

  2. languages determined by user choice, saved as some hidden prefix
     with the file, easier to deal with outside of drracket, but still
     some options are meaningless outside of it

  3. language determined by `#lang', typed by the user and very
     clearly visible (there's even the feature of making the line
     always visible on the screen), easy to deal outside of drracket,
     in fact, it's almost guaranteed that there's no difference.

and hiding the `#lang' line is a step back from #3 towards #2.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!