Kind Inference for the FreeST Programming Language
Programming Languages
2023-04-14 v1 Software Engineering
Abstract
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% of the cases.
Cite
@article{arxiv.2304.06396,
title = {Kind Inference for the FreeST Programming Language},
author = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos},
journal= {arXiv preprint arXiv:2304.06396},
year = {2023}
}
Comments
In Proceedings PLACES 2023, arXiv:2304.05439