A close examination on the supposed benefits of effect systems, framed as a conversation between two programming language designers.| typesanitizer.com
