1 comment

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