Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

The idea is already there, the rest are details.

It is like arguing Rust invented affine types while ignoring the ideas in Cyclone and linear typing, even if they don't map 1:1 to what Rust has.



Affine types are a version of linear types.

Concurrent Haskell doesn't use typeclasses to constrain what data can be passed between threads. All data can be in Concurrent Haskell because all data is immutable anyway. It's a fundamentally different concept, not a slightly different subset like affine/linear types.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: