Re: Designed vs. Jes' Grew [was: Ousterhout and Tcl lost the plot with latest paper]

[Thant Tessman <thant@nospam.acm.org>]

Steven D. Majewski wrote:

[...]

> Another binary classification of computer languages is 'academic languages'
> vs. 'toolkit languages' :

[...]

>    But I think it's reasonable to say that Scheme, ML and Haskell --
> good picks for archetypal academic languages --  were all developed to
> demonstrate the wide utility of a few powerful concepts.  [...]

I think ML was originally created specifically for writing theorem provers.  
So ML really started out as an academician's toolkit language.

[...followups severely trimmed...]

-thant