3 ms·
You might have seen this already, but there was a thesis on combining subtyping and type inference here: http://www.cl.cam.ac.uk/~sd601/papers/mlsub-preprint.pd
by chillee 9y ago
You might have seen this already, but there was a thesis on combining subtyping and type inference here: http://www.cl.cam.ac.uk/~sd601/papers/mlsub-preprint.pdf http://www.cl.cam.ac.uk/~sd601/papers/mlsub-preprint.pdf
- seanmcdirmid 9y agoIt’s an active research area (less so now than in the 90s), so there is a lot of work on the subject. Nothing in production beyond ordersky’s color type system in scale (and that is completely local). Also, I believe the work you are citing above explores structural subtypes, not nominal ones.