Coding and Reasoning with Purity, Strong Types, and Monadsvimeo.com2 points·mightybyte··0 commentsOpen articleSaveView on HN