[kronos29296]

Nice article about type theory.

> Why there’s so much research around types if perfectly applying them to programming languages is impractical?

Somehow Haskell does this perfectly. Whaddya say to that?

[coldtea]

I say, citation needed. Who said "Haskell does it perfectly"?

Not to mention the mental overhead of Haskell (which is also not optimal).

[aleden]

Yeah, what the fuck? Most software engineers just want to get shit done quickly so they can go home to their wife and kids.

[aleden]

If you think this merits a downvote please tell why. Excuse my french.