Home

Welcome to the Kind language Wiki. This first page is a guide for a lot of things related to the language itself, the official compiler and the community.

This documentation is designed for experienced developers and people that already know the basics of dependent types and compilers. If you want a beginner-friendly guide, go to this guide instead.

What is Kind?

Kind is a dependently-typed purely functional programming language designed to run on top of HVM (A super fast interaction net runtime) and to be friendly with the HVM rules and run as fast as it can, it forces the language to not have some features like type classes because we want speeeeed.