GHC 9.0, supporting linear types

Re:GHC 9.0, supporting linear types by tome on Thursday December 31, 2020 @06:34AM (#25591744)

I don't see how, in the presence of unrestricted function types, you can tag values as linear unless you have a separate kind for linear values. I'd be interested to know how Rust does it.

[ Parent | on HN ]

Re:GHC 9.0, supporting linear types by kimundi on Thursday December 31, 2020 @08:26AM (#25592450)

Affinity is a property of the type in Rust, so any given value is affine or not depending on which type it has.

[ Parent | on HN ]

Re:GHC 9.0, supporting linear types by tome on Thursday December 31, 2020 @11:51AM (#25594332)

I see, and if you have a polymorphic type then presumably you get to know its affinity too?

[ Parent | on HN ]