News for hackers. Stuff that matters.

A comment on The Lobster Programming Language. Parent comment

Re:The Lobster Programming Language by nathanielc on Wednesday April 03, 2019 @07:06PM (#19567985)
Looks really interesting. Have you done any write ups on the type inference bits?

Flow sensitive type inference looks like exactly what I need.

[ Parent | on HN ]
Re:The Lobster Programming Language by Aardappel on Wednesday April 03, 2019 @08:12PM (#19568323)
There's an informal description here: https://htmlpreview.github.io/?https://raw.githubusercontent...

But yes, I should really write up a more technical description some day.

[ Parent | on HN ]
Re:The Lobster Programming Language by kragen on Wednesday April 03, 2019 @07:08PM (#19567991)
The 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.
[ Parent | on HN ]