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.
[ Parent
| on HN ]
There are no comments on this comment yet.