Neural Networks, Types, and Functional Programming (2015) | Dark Hacker News