[PRL] Fwd: Three Schools of Expression

Eli Barzilay eli at barzilay.org
Mon Jul 23 19:25:32 EDT 2007


> From: Daniel Friedman <dfried00 at gmail.com>
> [...]
> Haskell School
> Scheme School
> Prose School
> [...]

This reminds me of the attempts to shoe me into an ML hacker in
Cornell -- one thing that really bugged me was that ML programmers
spend *so* much time with types, that it's easy to get to an illusion
that types are almost everything you need for documentation.  IIRC,
the OCaml documentation at the time had plenty of entries that had no
explanation beyond the function name and its type.  Also, trying to
follow what some piece of OCaml code (Jason Hickey's MetaPRL, and he
is a meticulous programmer) was extremely difficult since
functionality was much more spread across files.  (I think that Greg
agreed with me that this is a problem in ML.)

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



More information about the PRL mailing list