7 ms·
Wow, this is so cool that you did this and this showed up right now. There was an online book (soon to be published) by Xavier Leroy on the history of control m
by marai2 10mo ago
Wow, this is so cool that you did this and this showed up right now. There was an online book (soon to be published) by Xavier Leroy on the history of control mechanisms in programming languages with the last few chapters on Effect systems.
- tome 10mo agoThanks! You might also like the introduction I wrote to the Bluefin docs, which has some similar content: https://hackage-content.haskell.org/package/bluefin/docs/Bluefin.html https://hackage-content.haskell.org/package/bluefin/docs/Blu... Yes, Xavier's book was really interesting. It's here: https://xavierleroy.org/control-structures/ https://xavierleroy.org/control-structures/ It's missing some subtleties of capability-based effect systems (which Bluefin is). Maybe I should write to him.