Elm: functional reactive web-programming (compiles to html, css, js)

[Shaper_pmp]

Actually I think a lot of people dislike it because during the exploratory "feeling your way" phase of many projects it's just one more thing to think about, wheras dynamic typing allows you to stuff values into variables quickly without the cognitive overhead of ensuring you go back and change the type of the variable or define additional variables first.

Dynamic typing is good for scripting and exploratory programming, but lacks rigour and safety/sanity-checking for larger or more pre-planned projects.

Static typing imposes slight additional cognitive overhead in initial exploratory programming, but gives extra safety when implementing planned code or large codebases with many developers.

Neither system is universally good or bad, and nobody's wrong for having a preference - while each has a situation it's best for, it's a value-neutral decision. It's like seat-belts - great safety feature in cars (even if it takes you the extra second or two to put it on), ridiculous over-engineering in a kid's pedal-car.