1 comment

[ 7.8 ms ] story [ 9.3 ms ] thread
OP: Thoughts on functional programming, dependent typing, etc. couched as a ham-fisted parable.