Linear types are merged in GHC

Re:Linear types are merged in GHC by enlyth on Friday June 19, 2020 @09:33PM (#23580738)

Just curious, what is considered as 'using' the value?

[ Parent | on HN ]

Re:Linear types are merged in GHC by anchpop on Friday June 19, 2020 @09:41PM (#23580779)

Passing it as a parameter to a function or returning it

[ Parent | on HN ]

Re:Linear types are merged in GHC by waltpad on Saturday June 20, 2020 @02:40AM (#23582247)

Or applying it if that value is a function. I believe the broader definition would be that it has to appear in an "evaluated" term.

[ Parent | on HN ]