3 ms·
FYI, because I know it will be brought up; GHC models linearity differently than Rust, so you can't compare the two against each other, even though you think yo
by platz 6y ago
FYI, because I know it will be brought up; GHC models linearity differently than Rust, so you can't compare the two against each other, even though you think you would be able to do that.
Rust puts linearity on the types, GHC puts linearity on the arrows.
https://imgur.com/s0Mxhcr https://imgur.com/s0Mxhcr
https://skillsmatter.com/skillscasts/11067-keynote-linear-haskell-practical-linearity-in-a-higher-order-polymorphic-language https://skillsmatter.com/skillscasts/11067-keynote-linear-ha...
- Tehnix 6y agoRust doesn’t have linear types, but rather affine types, and present quite different designs.
- hardwaresofton 6y agoTalks that might be informative for the curious: https://www.youtube.com/watch?v=t0mhvd3-60Y https://www.youtube.com/watch?v=t0mhvd3-60Y https://www.youtube.com/watch?v=uxv62QQajx8 https://www.youtube.com/watch?v=uxv62QQajx8
- srtjstjsj 6y agoYour first link says that Rust puts linearity on the kinds (types of types, not types of data).