1 comment

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