Conversation

"Dependent Types—After 20 years we’re still demoing balancing red-black trees and printf at every conference."

this is really not a fair criticism imo. that's like saying functional programmers keep demoing fib. it's just a nice easy example to use!

Replying to

and

I think it is fair to criticise functional programmers who keep using fib. :)