Teaching Children Programming and Linux

[Christopher Browne]

On Sun, Jul 20, 2008 at 7:15 PM, Lance F. Squire <lance-5ZoueyuiTZhBDgjK7y7TUQ at public.gmane.org> wrote:
> Lennart Sorensen wrote:
>
>> My wife says ML reminds her of prolog.  I can't see the relation myself,
>> but then again she is much better at prolog than me byt a lot.
>>
>
>
> I gather from this that ML isn't Machine Language, but some programming
> language that shares the same contraction...

No contraction; ML is the full name.

http://en.wikipedia.org/wiki/ML_programming_language

Historically, ML stands for metalanguage.  It was created as a theorem
proving language, but turned out to be useful for more than that.

There are 3 common dialects:

- Standard ML (there's a notable implementation called Standard ML of New Jersey
  http://en.wikipedia.org/wiki/Standard_ML
- OCaml
  http://en.wikipedia.org/wiki/OCaml
- F#
  http://en.wikipedia.org/wiki/F_Sharp_programming_language
-- 
http://linuxfinances.info/info/linuxdistributions.html
"The definition of insanity is doing the same thing over and over and
expecting different results." -- assortedly attributed to Albert
Einstein, Benjamin Franklin, Rita Mae Brown, and Rudyard Kipling
--
The Toronto Linux Users Group.      Meetings: http://gtalug.org/
TLUG requests: Linux topics, No HTML, wrap text below 80 columns
How to UNSUBSCRIBE: http://gtalug.org/wiki/Mailing_lists