On Mon, 2008-01-28 at 12:04 +0000, Jon Harrop wrote:
> Sophisticated renovations of the type system might not succeed but we're 
> talking about much more mundane features here. Just looking at text, we might 
> want:
> 
> . Folds in the String module.
> . Functions to read whole files as a string or list of lines.
> . Either "try..finally" or "use" bindings or combinators to automate closing.
> . Immutable strings.
> . Ropes.
> . Unicode.
> . More efficient pattern matching.
> 
> These have all been available for years in the form of many incompatible 
> extensions and will continue to be under-used until they are integrated into 
> OCaml itself.

I believe there's a problem of vocabulary rather than a philosophical
issue.

Almost everything you suggest in your post requires modifying *the
distribution* but not necessarily *the language*. INRIA is quite happy
to let the community handle a standard distribution.

Cheers,
 David

-- 
David Teller
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act
brings liquidations.