2 ms·
GHC models linearity differently. Rust puts linearity on the types, GHC puts linearity on the arrows. https://i.imgur.com/s0Mxhcr_d.webp?maxwidth=640&shape=th
by platz 6y ago
GHC models linearity differently. Rust puts linearity on the types, GHC puts linearity on the arrows.
https://i.imgur.com/s0Mxhcr_d.webp?maxwidth=640&shape=thumb&fidelity=medium https://i.imgur.com/s0Mxhcr_d.webp?maxwidth=640&shape=thumb&...
- senorsmile 6y agoIs Idris 2's linearity the same as Haskell's in this respect?
- platz 6y agoyes