Teaching Children Programming and Linux

Christopher Browne cbbrowne-Re5JQEeQqe8AvxtiuMwx3w at public.gmane.org
Sun Jul 20 23:25:45 UTC 2008

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.


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
- OCaml
- F#
"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

More information about the Legacy mailing list