Implementing Higher-Kinded Types in Dotty

dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are just partial applications of generic classes, they can be given a meaning in DOT relatively straightforwardly. But general lambdas on the type level require extensions of the DOT calculus to be expressible. This paper is an experience report where we describe and discuss four implementation strategies that we have tried out in the last three years. Each strategy was fully implemented in the dotty compiler. We discuss the usability and expressive power of each scheme, and give some indications about the amount of implementation difficulties encountered.


Publié dans:
Proceedings of the Scala Symposium 2016
Présenté à:
Scala Symposium 2016, Amsterdam, Oct 30-31, 2016
Année
2016
Publisher:
New York, ACM
Mots-clefs:
Laboratoires:




 Notice créée le 2016-10-30, modifiée le 2019-03-17

Preprint:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)