News for hackers. Stuff that matters.
Re:Linear types can change the world (1990) [pdf] by danharaj on Wednesday January 10, 2018 @02:09PM (#16117881)
There's no compelling evidence that that will be the case but it's possible in the far future. The emphasis at the moment is on correctness of resource usage.

There are no comments on this comment yet.