> Abstractions with types is a bad type of abstraction because it ignores the basic fact that programs deal with data, and data has no types. Or in the convent

> Abstractions with types is a bad type of abstraction because it ignores the basic fact that programs deal with data, and data has no types. Or in the conventional Haskell notation: data HasNoTypes = BasicFact Yet, everyone is busy adding typing to their favourite dynamic languages. Even languages like Javascript which whose designs show open contempt for the idea of type safety, are now getting support for static typing (typescript/flow).