New answers tagged type-theory
2
From a resource interpretation,
If you receive a !T, you can extract as many copies of T as you need in your thread.
However, if you want to produce a !T, you need to be prepared to fulfill an unknown number of Ts in parallel, so whatever ingredients you use would need to be ! as well. If you have additional ⅋-threads to help you produce things, they would ...
Top 50 recent answers are included
