News for hackers. Stuff that matters.
Re:Linear types can change the world (1990) [pdf] by amenghra on Tuesday January 09, 2018 @09:22PM (#16112090)
It’s always fun to look at the flow of knowledge from academia to the industry, and how some things can take decades.

Reminds me of LinearML which was an experiment nearly 10 years ago.

https://github.com/pikatchu/LinearML/blob/b1a49f153e02f3cffb...

There are no comments on this comment yet.