> if I wanted to learn homotopy type theory, would this have been easier five years ago, or will it be easier five years from now?
My experience (I'm late 60s) suggests you may find it harder later, but you'll have a higher return because your newly-won expertise will connect with a richer experience base. You'll see connections you might have missed earlier.
And I doubt you'll notice much difference in five years. More like 15 - 20, I think.
My experience (I'm late 60s) suggests you may find it harder later, but you'll have a higher return because your newly-won expertise will connect with a richer experience base. You'll see connections you might have missed earlier.
And I doubt you'll notice much difference in five years. More like 15 - 20, I think.