3 ms·
Yep, if you have linear types then you could model IO with functions that explicitly accept and return the world.
by comex 7y ago
Yep, if you have linear types then you could model IO with functions that explicitly accept and return the world.
loading thread…