Vladimir Panteleev:

It's not about types, it's about algorithms.

Given sufficiently refined types, it can be about types :-)

Bye,
bearophile

Reply via email to