3 ms·

Is there a link to learn more about this project? It seems different from https://en.wikipedia.org/wiki/Io_(programming_language) https://en.wikipedia.org/wiki/

• 082349872349872 4y ago
  Io: https://dl.acm.org/doi/pdf/10.1145/70931.70934 https://dl.acm.org/doi/pdf/10.1145/70931.70934 Viewing continuations as the "mother of all monads", this work (1989) could have anticipated Moggi (1991) if there had been continued development in that direction! (it would've taken much more work though, as IIRC EWD noted Io as presented wasn't properly associative in ';') Moggi91: https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf
• kragen 4y ago
  that's right, it's unrelated to steve dekorte's io, which is also kind of cool but not in the same fundamental way levien's io is maybe less practical, though it's hard to tell since nobody's done the work of putting together an implementation with batteries my notes on it from sometime in 02007–02009 are at https://dercuano.github.io/notes/raph-io.html https://dercuano.github.io/notes/raph-io.html but i didn't have a copy of the actual paper at the time, just some badly ocred code and quotes from the paper, plus some commentary