DEV Community

Discussion on: The broken promise of static typing

Collapse
 
fredshonorio profile image
Frederico Honório

I can't shake the idea that simplicity is always measured through a lens.
C is simple: from the perspective of the hardware, C is conceptualy close.
Haskell is simple: from an equational perspective, Haskell is conceptually close, values are mapped from domains to codomains (even IO and state is modeled this way).