Prism: An Impure Functional Language With Typed Effects - Stephen Diehl
www.stephendiehl.com
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future