News for hackers. Stuff that matters.
Re:Elm in Production: 25K Lines Later by dragonwriter on Monday July 31, 2017 @08:21AM (#14891233)
> Basically, in an ideal world we would have a "pragmatically typed" programming language. Basically something in between "weak dynamic typing of Javascript" and "strong static typing of Haskell".

Souunds like one of the many strong dynamic languages with optional static typing/typechecking.

Re:Elm in Production: 25K Lines Later by dmitriid on Monday July 31, 2017 @09:58AM (#14891987)
Yeah. I like approaches taken by OCaml/ReasonML and Typescript. But they are not without their warts :)