A modern programming language that makes developers happier.

kotlinlang

We are building `arrow-meta` based on compiler plugins. Arrow meta contains the following subplugins:
- Purity checker. A plugin that checks for pure expressions in functions and reports unsafe usages in impure functions.
- HigherKind. A plugin that adds the higher kind emulation boilerplate automatically for all classes that have one type argument
- Extensions. An implementation of KEEP-87 as a compiler plugin
- Auto Derivation. Auto derivation of type class instances based on structural methods in classes such as we can derive automatically all the Monad extensions for anything that has `flatMap` and `just`