3 ms·
> Type theory will grow and will be applied to more domains. I'll piggyback one here: category theory will still have no practical use.
by twic 7y ago
> Type theory will grow and will be applied to more domains.
I'll piggyback one here: category theory will still have no practical use.