A combination of staging and effects might be a candidate. Any other candidate w...

		finiteparadox 10 months ago \| parent \| context \| favorite \| on: Austral: A Systems Language with Linear Types and ... A combination of staging and effects might be a candidate. Any other candidate will probably be staging + X. https://se.cs.uni-tuebingen.de/publications/schuster19zero.p...