From design patterns to category theory (2017) | Dark Hacker News