Exotic Programming Ideas: Part 3 (Effect Systems)

395 · Stephen Diehl · Nov. 22, 2020, 3:49 p.m.
Exotic Programming Ideas: Part 3 (Effect Systems) Continuing on in our series on exotic programming ideas, we’re going to explore the topic of effects. Weak forms of effect tagging are found in many mainstream programming languages, however the use of programming with whole effect systems that define syntax for defining and marking regions of effects in the surface syntax is still an open area in language design. Week 1 - Module Systems Week 2 - Term Rewriting Week 3 - Effect Systems Week 4 - 🎁...