Programming Languages

coursera.org

44 points·tosh··14 comments

Open articleView on HN

I’ve taken this course and it’s excellent, all three parts.

It makes me wish there were a modern standard ML, without laziness, typeclasses or Object Oriented-ness.

Not knowing any ML myself, what is it about ML that you want to retain?

I guess the https://mythryl.org/ dream died with its creator.

Well, isn't that just Standard ML?

Well, given that OCaml almost doesn't use it's optional Object Oriented-ness, that might be what you're looking for.

> Well, given that OCaml almost doesn't use it's optional Object Oriented-ness, that might be what you're looking for.

so... you use OCaml without modules ?

Try looking at https://people.mpi-sws.org/~rossberg/1ml/

Would a non-OO style of OCaml be what you want, or if not, what is it missing?

would Elm do the trick?

For anybody looking for a similar-ish syllabus with different material, Matthew Flatt's introductory programming languages course is available online at [0]. It's in Plait (formerly PLAI-Typed, a smaller dialect of Racket) and was really a great class, in my opinion. (I took this as a junior at the U.)

[0] https://pubweb.eng.utah.edu/~cs3520/

Took this course when I started moving towards software development and I thought it was great. It has a higher academic level then most introductory courses and its been great for developing intuition about the craft

How much is it? (It seems like there is no way to see without creating an account - yuck)

it’s free. you can pay for each part to get a certificate or just take it for free.

As a (serious) hobbyist, I thought that class was fantastic.

Reply on news.ycombinator.com