Typed is a low-dependencies, concise, batteries included Scala library for advanced functional programming using tools from Type Theory, Category Theory and Logic.
- low-dependencies: it depends only on Scala/ScalaJS standard libraries.
- concise: it provides a simple, synthetic and small API instead of implementing all the 42289 variations possible of each concepts.
- batteries included: it comes in only one flavor which contains everything, ready to use.
Unlike most Category-theory based libraries, such as Cats, ScalaZ 7 and GHC Base, whose implementation are specialized towards a unique category, Typed aims to be as flexible as possible.
Typed is in very early stage of development! Do not use it in production!