News for hackers. Stuff that matters.
Re:Linear types can change the world (1990) [pdf] by vrotaru on Tuesday January 09, 2018 @04:57PM (#16110537)
A few years ago I would have suggested LinearML - https://github.com/pikatchu/LinearML.

Now it may be quite a challenge, to just compile it.

There are no comments on this comment yet.