News for hackers. Stuff that matters.
Re:The History of Standard ML [audio] by networked on Tuesday July 13, 2021 @02:38PM (#27824515)
Flix might be this next ML. It is a new programming language with a Hindley-Milner type system notable for having effect polymorphism. It has an otherwise well-rounded design inspired by OCaml (among others).

https://flix.dev/

(I am not affiliated with Flix. I started following its development recently because it looked interesting.)

Re:The History of Standard ML [audio] by Zababa on Tuesday July 13, 2021 @03:25PM (#27825116)
Flix looks interesting, the Java interop seem to be a great feature too, but I'm wondering if they'll have traction. The JVM already has Scala, and while it's not exactly the same thing it will be "good enough" for most people. Considering Scala has usually lots of churn and already a split ecosystem, plus the upcoming transition to 3, it's going to be hard to find a place. Especially since Java itself is gaining pattern matching, records and the like.