T

type inference

A modern, strict and compiled programming language

https://giml-lang.org A functional programming language with emphasis on structural typing.

Experimental type system and type inference algorithms