3 ms·
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 i
by monocasa 5y ago
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.