New answers tagged type-theory
1
It's somewhat misleading to say that linear types don't prevent anything in 'pure' systems, because some things that are not considered pure become so when restricted with linear types. An example would be Fillinski's Linear Continuations. Normally, control operators are considered effectful, and results are non-deterministic depending on evaluation order. ...
Top 50 recent answers are included