The Future of Standard ML (2013) [pdf]

Post by cwyers » Thu, Jul 14, 2016, 7:20 PM UTC

virtualwhys wrote: post #6

eatonphil wrote: post #2

Cutting to the chase: use Haskell or Scala or F# if you need to do some scripting or build a web application that requires lots of different tasks (being a web server, rendering templates, connecting to a database, etc.). Haskell and Scala have great libraries and polymorphism that allows you to express things succinctly. Dunno much about F# except .NET. Use OCaml if you want easily native binaries, predictable perfo…

Coming from Scala I'd like to see successor ML become a reality. Whether it's 1ML, Ponyo, Ur (without the /Web), or another ML derivative that's not OCaml (petty, but the crufty syntax makes Scala seem elegant in this regard) isn't all that important. As it stands every year Rossberg publishes a paper on latest 1ML enhancements; Harper does the same wrt to PLT, and by proxy SML. Meanwhile, nothing's really happening…

Post by equalunique » Thu, Jul 14, 2016, 7:26 PM UTC

equalunique wrote: post #12

I'm just glad to a an "ML" article that's referring to MetaLanguage and not Machine Learning.

Post by cwyers » Thu, Jul 14, 2016, 7:39 PM UTC

hroman wrote: post #14

cwyers wrote: post #11

Earlier quoted context omitted.

I find it interesting that you list all of the ML derivatives except the popular one.

Poly/ML?

Post by groovy2shoes » Thu, Jul 14, 2016, 7:56 PM UTC

hroman wrote: post #14

cwyers wrote: post #11

Earlier quoted context omitted.

I find it interesting that you list all of the ML derivatives except the popular one.

Poly/ML?

Post by rvense » Thu, Jul 14, 2016, 7:57 PM UTC

jxy wrote: post #16

eatonphil wrote: post #2

Cutting to the chase: use Haskell or Scala or F# if you need to do some scripting or build a web application that requires lots of different tasks (being a web server, rendering templates, connecting to a database, etc.). Haskell and Scala have great libraries and polymorphism that allows you to express things succinctly. Dunno much about F# except .NET. Use OCaml if you want easily native binaries, predictable perfo…

> operators (not named functions) are to programming > languages as icon-only buttons are to web pages; > they are completely unusable. I see ( ) ; . you are using already. Latin letters are gibberish to people who don't use it.

  val list = a +: l :+ b