10 ms·

In Europe it's taught at Diku in Copenhagen.

• pjmlp 11y ago
  Interesting, do they use it a lot? Back when I was in the university, our languages group department was very found of Caml Light, and used it for quite a few classes related to programming languages and compiler design.
  • cm3 11y ago
    To be clear I base my assumption on the fact that there's Standard ML work coming from Diku. So I should say "I believe they teach it at Diku". DIKU Introduction to Programming organization on github has "ML Picture Library (for teaching purposes)" (https://github.com/DIKU-IP/InstagraML https://github.com/DIKU-IP/InstagraML) MoscowML credits some authors from Diku http://studies.ku.dk/masters/it-and-cognition/profile-and-career/staff/?pure=en%2Fpublications%2Fhosting-a-standard-ml-compiler-in-a-web-browser%28aa3cd796-eb8f-4620-a3c4-559961ecbfc0%29%2Fexport.html http://studies.ku.dk/masters/it-and-cognition/profile-and-ca... http://diku.dk/english/calendar2011/using_llvm_to_implement_a_standard_ml_jit_compiler_kopi/ http://diku.dk/english/calendar2011/using_llvm_to_implement_... https://en.wikipedia.org/wiki/Mads_Tofte https://en.wikipedia.org/wiki/Mads_Tofte I cannot find a link to an SML course taught there but you'd expect one.
    • cm3 11y ago
      There's also Isabelle where TU Munich played a large role together with institutions from other continents and still does. Also look at http://www.elsman.com/mlkit/ http://www.elsman.com/mlkit/ which incorporates many modern features, some of which can be found in similar form in Rust, recalling that the idea for regions wasn't invented by and is older than Rust. There you'll find more Danish SML folks and links to SMLtoJs and somewhere down a link to the Smackage SML package manager and smbt Smackage build tool. SML doesn't appear to be as dead as it seems from the outside.