News for hackers. Stuff that matters.
Re:Linear types are merged in GHC by tathougies on Friday June 19, 2020 @04:38PM (#23578651)
They're linear because they can only be used once. If you draw out the set of 'references' to the object in a timeline it'll always be a line, whereas with a non-linear object, it could be any DAG.

There are no comments on this comment yet.