1,210 followers
In short, my approach: - Disallow mailbox aliasing (i.e., `let` bindings have move semantics) - To do this, use quasi-linear types (a la https://t.co/pQs1IbdBLn & https://t.co/PZpjY0jRa1) - Use backwards bidirectional typing - a co-contextual fla