Kio Programming Language

About

Kio is a statically typed, hosted, minimalistic language designed to be highly portable, with version 0.1 supporting eight host languages. It is based on polymorphic lambda calculus with higher-kinded types, offers type-driven macros, and can statically check asserted equivalences with a normalizer. It has no built-in effectful functions, strings or numeric types; programs declare the capabilities they need and the host supplies them.