Vladimir Panteleev:
It's not about types, it's about algorithms.
Given sufficiently refined types, it can be about types :-) Bye, bearophile
Vladimir Panteleev:
It's not about types, it's about algorithms.
Given sufficiently refined types, it can be about types :-) Bye, bearophile