Bernardo Almeida (LASIGE, Faculty of Sciences, University of Lisbon) |
Andreia Mordido (LASIGE, Faculty of Sciences, University of Lisbon) |
Vasco T. Vasconcelos (LASIGE, Faculty of Sciences, University of Lisbon) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.378.1 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |