4 ms·OP: Thoughts on functional programming, dependent typing, etc. couched as a ham-fisted parable.by kolektiv 12y agoOP: Thoughts on functional programming, dependent typing, etc. couched as a ham-fisted parable.