2017
Keywords:
- Category
- Monad = Monoid + Endofunctor
Category Theory is replacing Set Theory as the foundation of Math. Nowadays, few Advanced Math papers are written without using Category to explain, and this trend is spreading to IT through Functional Programming languages (Google’s Kotlin, Haskell, Clojure…) - the latest paradigm to replace Object-Oriented languages like Java, C++, etc, as a safer “Strong Typed” languages for AI, BIG DATA…
$latex boxed {text {Type = Category }}&fg=aa0000&s=3$
Examples of “Types” in IT:
- Integers
- Real
- Double
- Boolean
- String
- etc
