On Sun, Nov 17, 2013 at 5:43 PM, Andrew Suffield <asuffi...@suffields.me.uk>wrote:
> While mathematics as a field has mostly settled on set theory as its > basis, type theory is equally expressive and is usually preferred in language > design. Aiui there is now optimism in some circles that the set theory foundation will be replaced by a "homotopical interpretation of type theory". I have about zero understanding of what this stuff is or if it will have any impact on programming language type systems, but thought I'd speak up. :) -- raiph
