Closed MarisaKirisame closed 6 years ago
steshaw
commented
6 years ago It'd be great to have a "subtopic" on effect systems. Feel free to contribute something for effect systems (or just put something out online and I can add a link from here).
As for "The Craft of Programming" and "A discipline of programming". I haven't read either of them I'm sorry to say. Do they cover mostly imperative programming?
MarisaKirisame
commented
6 years ago A discipline of programming is mostly axiomatic semantic and stepwise refinement (sort of like program calculation, but imperative).
The craft of programming is (IMO) a less radical, and easier to read version of ADOP.
MarisaKirisame
commented
6 years ago I can do a pull request soon.
suhailshergill
commented
6 years ago Unsure if relevant, but Oleg's "having an effect" webpage has some excellent references. Shameless plug: extensible-effects is an implementation of those ideas in Haskell
MarisaKirisame
commented
6 years ago I am currently reading them, lol
MarisaKirisame
commented
6 years ago Freer Monads, More Extensible Effects listing papers as I read along...
MarisaKirisame
commented
6 years ago steshaw
commented
6 years ago Fixed via adding an "Effects Systems" subtopic. Let me know if any other resources should be added to it. I imagine most of the papers should be added directly to @yallop's effects bibliography.
I think Effect is a nontrivial part of PL, and should be added.
The essence of algol, monads for functional programming, lambda the ultimate goto/assignment/imperative, dijkstra monad, lightweight monadic programming in ML, lazy functional state thread, denotational semantic (with effect)...
Somewhat related: should there also be imperative programming/axiomatic semantic paper/book? The craft of programming/A discipline of programming is both quite nice.