6 ms·

I love Heroku's little "language and community" section of these articles when they add a new supported platform. For example, the link to the explanation of Sc

by zbailey 15y ago

I love Heroku's little "language and community" section of these articles when they add a new supported platform. For example, the link to the explanation of Scala's Hindley-Milner type inference method (http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool http://www.codecommit.com/blog/scala/what-is-hindley-milner-...) definitely taught me something new about the internals of Scala, and in general a new topic in Computer Science. Congrats on shipping yet another supported platform!

bad_user 15y ago
Minor correction - Scala does not have the Hindley-Milner type inference method and for technical reasons it would be very hard to have something similar. Languages that do have Hindley-Milner are those from the ML family, like Ocaml, Haskell and F#. That said, the linked article is pretty cool.
- zbailey 15y ago
  Oops, thanks for correcting me. I think the original article claimed it did use it, or at least something very similar - it looks like Herkou has tweaked their article and pulled that link.
- gtani 15y ago
  The codecommit article is a good intro to H-M as in Haskell, OCaml, F#, SML (AKA Damas-Milner by at least one dev I respect), here is codecomit guy re: why Scala can't use HM / DM, rather, Scala is flow-based, or "local type inference". http://scala-programming-language.1934581.n4.nabble.com/scala-Does-scala-use-Hindley-Milner-type-inference-td1997689.html http://scala-programming-language.1934581.n4.nabble.com/scal... http://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell http://stackoverflow.com/questions/3689407/disadvantages-of-... http://stackoverflow.com/questions/7234095/why-is-scalas-type-inference-not-as-powerful-as-haskells http://stackoverflow.com/questions/7234095/why-is-scalas-typ... this sentence in OP objectionable Erlang and Clojure: two other functional, concurrency-focused languages which many developers find inscrutable.

by zbailey 15y ago

bad_user 15y ago

Minor correction - Scala does not have the Hindley-Milner type inference method and for technical reasons it would be very hard to have something similar. Languages that do have Hindley-Milner are those from the ML family, like Ocaml, Haskell and F#. That said, the linked article is pretty cool.

zbailey 15y ago
Oops, thanks for correcting me. I think the original article claimed it did use it, or at least something very similar - it looks like Herkou has tweaked their article and pulled that link.
gtani 15y ago
The codecommit article is a good intro to H-M as in Haskell, OCaml, F#, SML (AKA Damas-Milner by at least one dev I respect), here is codecomit guy re: why Scala can't use HM / DM, rather, Scala is flow-based, or "local type inference". http://scala-programming-language.1934581.n4.nabble.com/scala-Does-scala-use-Hindley-Milner-type-inference-td1997689.html http://scala-programming-language.1934581.n4.nabble.com/scal... http://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell http://stackoverflow.com/questions/3689407/disadvantages-of-... http://stackoverflow.com/questions/7234095/why-is-scalas-type-inference-not-as-powerful-as-haskells http://stackoverflow.com/questions/7234095/why-is-scalas-typ... this sentence in OP objectionable Erlang and Clojure: two other functional, concurrency-focused languages which many developers find inscrutable.