Speaking of learning, LL1 just had a link to a dialect of Haskell designed for teaching. (Speaking of Haskell, which actual program (interpreter? compiler?) do people use? I see three or something like that in Debian.) Their features look neat (messages like that "did you mean a float?" error message would've helped out the poor programmer I linked to in my last post).
I read some of an interview with one of the creators of ML (I think that was from
lambda_ultimate and he indicated they never thought the language would be useful beyond their initial goal (theorem proving, I think?).
I read some of an interview with one of the creators of ML (I think that was from
lambda_ultimate and he indicated they never thought the language would be useful beyond their initial goal (theorem proving, I think?).