3 ms·Master Builders3 points by kolektiv 12y agokolektiv 12y agoOP: Thoughts on functional programming, dependent typing, etc. couched as a ham-fisted parable.