Hacker News new | ask | show | jobs
by technomancy 4533 days ago
I wouldn't say I'm intimately familiar with type theory, but I'm certainly old slash grumpy enough to not be an "advocate" of anything except learning both and thinking for yourself about the problem at hand.