Teaching Children Programming and Linux
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
"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