Marie Kondo: What is this? Me: A generalized algebraic effects system MK: Does this proposal fit well with the feel and direction of Swift? Me: … … … well, it mi— MK: You know what to do
-
-
oh wait I knew about typestate and some of the issues it had, but I somehow missed unique types (or didn't make a mental connection). Do you happen to have any reading material on this at hand?
-
I wrote a blog post in 2012 about it :) https://pcwalton.github.io/2012/12/26/typestate-is-dead.html … Note that this very much predates modern Rust.
- 2 more replies
New conversation -
-
-
More! Rust had/has a baby effect system too (kept "unsafe", dropped "io" a.k.a. "impure", but gained "const" so ???) The purity tracking was there to let you use pure fns as n-ary typestate predicates, of course, so that bit in the lattice died with it. https://github.com/graydon/rust-prehistory/blob/master/src/test/compile-fail/impure-pred.rs …
-
(it's not clear whether a group of N programmers will have more differing definitions of purity or constancy, but we are going to find out!)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.