[ghayes]

Yeah, we've had a great time writing Elm for a fairly complex single-page Ethereum dApp. It's conceptually a lot simpler than Haskell, which made it easy for the team to pick up. I only wish it had a better system (Tasks) for JavaScript interop instead of ports.

[kureikain]

This is so true. I liked and used Elm when I have the right to make final decision. But it's hard to convince others use Elm when coming to integrate with JS.

That's the reason TypeScript won. It intergrate with existing JavaScript seamlessly.

[deboboy]

What's your fairly complex dapp about/for?

[spraak]

ReasonML could be a good middle ground there.

[byw]

One of the biggest complaints of Elm is the lack of typeclass. I'm not aware of a similar abstraction in OCaml. Does Reason have similar limitations, or are there ways to get around it?

[orbifold]

OCaml has parametrized modules, confusingly called functors, a very nice feature along with first class modules that Haskell doesn’t have. It is roughly speaking used wherever one would use a Typeclass in Haskell http://ocamlgraph.lri.fr/index.en.html is one good example.

[yomly]

Noon question: what is a typeclass in the sense of the feature Elm lacks?

Does it mean the equivalent to `class` keyword in the OO sense?

[hawkice]

From an OO perspective, Elm lacks interfaces. Typeclasses are probably the best way to handle the idea of interfaces in the functional programming model.

Since functions are first class, you can bodge this with an object that has functions in it, but since those don't serialize they don't play well with a lot of Elm idioms if you put them in your model.

[a-saleh]

I thought about this, and kinda came to a conclusion, than I would take a language that has generics, and doesn't have interfaces (i.e. Elm) over a language that has interfaces and doesn't have generics (i.e. Go)

[boubiyeah]

typescript has both :D

[rs86]

First class modules. And yes, not having typeclasses is a bit of a turn off too...