Elm in Production: 25K Lines Later

Re:Elm in Production: 25K Lines Later by dmitriid on Monday July 31, 2017 @06:18AM (#14890725)

Nope. It's a genuine feeling.

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".

No such language currently exists, and this makes me sad. It's also hard to come up with a proper definition for such a language :)

[ Parent | on HN ]

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.

[ Parent | on HN ]

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 :)

[ Parent | on HN ]

Re:Elm in Production: 25K Lines Later by tome on Monday July 31, 2017 @06:33AM (#14890780)

> Nope. It's a genuine feeling.

That's not exclusive with being a troll.

> Basically, in an ideal world we would have a "pragmatically typed" programming language.

Yes, it's called Haskell. Or, if you don't like purity, either OCaml or F#.

[ Parent | on HN ]

Re:Elm in Production: 25K Lines Later by dmitriid on Monday July 31, 2017 @06:38AM (#14890796)

I strongly believe Haskell is very very far from being a "pragmatically typed" language.

This reminds me, I need to write a blog post (which is tangentially about Haskell, but mostly about statically typed languages)

[ Parent | on HN ]