cbd1984·11 年前·議論> The univalence axiom says that two types are equal if we can convert their values back and forth (without loss of information).So strings are equivalent to everything, and vice-versa.> Now, the issue is that currently we don't actually have a computational interpretation for the univalence axiomJSON? Sexps?
So strings are equivalent to everything, and vice-versa.
> Now, the issue is that currently we don't actually have a computational interpretation for the univalence axiom
JSON? Sexps?