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#.
This reminds me, I need to write a blog post (which is tangentially about Haskell, but mostly about statically typed languages)
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#.