20 ms·
Looks really interesting. Have you done any write ups on the type inference bits? Flow sensitive type inference looks like exactly what I need.
by nathanielc 7y ago
Looks really interesting. Have you done any write ups on the type inference bits?
Flow sensitive type inference looks like exactly what I need.
- kragen 7y agoThe standard work on flow-sensitive higher-order type inference proceeds from Olin Shivers's dissertation, but Oortmerssen has written a bit about his ideas on lambda-the-ultimate.
- Aardappel 7y agoThere's an informal description here: https://htmlpreview.github.io/?https://raw.githubusercontent.com/aardappel/lobster/master/lobster/docs/type_checker.html https://htmlpreview.github.io/?https://raw.githubusercontent... But yes, I should really write up a more technical description some day.