Live data from Hacker News

Elm is Wrong

reasonablypolymorphic.com

11–20 of 218 posts

Re: Elm is Wrong

#11
post #2

>I have complaints about Elm after using it during a quick hack session.

If you only consider criticism from people deeply invested in a platform, you'll get a really skewed perspective.

Put another way: if you try something and find it flawed—why should you put any more time and effort into it? And yet, that doesn't mean the problems you found were not real. If anything, those problems might be the most relevant because they forced you to put the tool down.

Re: Elm is Wrong

#12
I was vaguely under the impression that Elm was more an ML style language than a Haskell style language, so it ought to have modules and functors rather than typeclassss.

Re: Elm is Wrong

#13
I enjoy Elm, and I think improvements are welcome. In particular, I would like to see some improvements to the Elm REPL such as type inference and documentation strings.

The article makes some great points; however, the title is not particularly useful nor a good summary of the article itself.

Re: Elm is Wrong

#15
SYTC is in reference to a comment made pre Elm 0.17, when drastic changes were made to the language (FRP was dropped, ports were massively simplified, and a bunch of other stuff).

So he then decides he wants to have the full Elm experience by trying to replicate a Haskell solution in Elm using a technique that was mentioned in an issue comment. I feel like in trying to avoid the blub paradox, he ran right into it.

Re: Elm is Wrong

#17
post #7
post #2

>I have complaints about Elm after using it during a quick hack session.

The post is opinionated and a bit aggresively worded. But his(/her?) major complaint is valid: lack of type classes, which completely kills essential composability and generic properties of Haskell. And the module system doesn't offer MLs features to make up for it (signatures). This means that Elm requires boilerplate for things that are elegantly handled by type classes. You may also look at Purescript [1], a more…

You can do everything that you can with typeclasses without them. In fact GHC compiles Haskell into GHC core, where are no typeclasses.

See http://okmij.org/ftp/Computation/typeclass.html

Post reply on HN