search

hazelgrove / hazelnut-popl17

Submission to POPL 2017
2 stars 1 forks source link

polymorphism, system F, HM #41

Closed ivoysey closed 8 years ago

ivoysey commented 8 years ago 
+ How does this scale to polymorphism, either System F or Hindley/Milner?
ivoysey commented 8 years ago

we said


Higher-rank polymorphism in a bidirectional system is possible, e.g. see
Dunfield and Krishnaswami 2013. We see no fundamental impediment to
building a structure editor in the style of Hazelnut that supports that
mechanism. The introduction of type variables would require lifting to the
type level some of the mechanisms related to binding and non-empty holes
that were developed at the expression level in this paper.