Hacker News new | ask | show | jobs
by platz 2128 days 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&...
1 comments
senorsmile 2128 days ago
Is Idris 2's linearity the same as Haskell's in this respect?
link
platz 2128 days ago
yes
link