Kind Inference for the FreeST Programming Language

04/13/2023
by   Bernardo Almeida, et al.
0

We present a kind inference algorithm for the FREEST programming language. The input to the algorithm is FREEST source code with (possibly part of) kind annotations replaced by kind variables. The algorithm infers concrete kinds for all kind variables. We ran the algorithm on the FREEST test suite by first replacing kind annotation on all type variables by fresh kind variables, and concluded that the algorithm correctly infers all kinds. Non surprisingly, we found out that programmers do not choose the most general kind in 20 cases.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset