Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations
16 points by asb
16 points by asb
The path to typed effects in OxCaml is looking really exciting: https://lpw25.net/papers/popl2026.pdf (Sec 2.3 with the state example is a good place to walk through how this works)