История изменений
Исправление alysnix, (текущая версия) :
твой тип-сумма в которым ты запутался, в реальном ЯП выглядит так
{
tag:number
union (A,B)
}
упрощаем, пусть A = true(T), B = false(F)
тогда для T + F имеем множество значений {(0,T), (1,F)}
тогда для F + T имеем множество значений {(1,T), (0,F)}
где твой изоморфизьм? это вообще разные множества. наличие селектора развалило твой изоморфизм.
Исходная версия alysnix, :
твой тип-сумма в которым ты запутался, в реальном ЯП выглядит так
{
tag:number
union (A,B)
}
упрощаем, пусть A = true(T), B = false(F)
тогда для T + F имеем множество значений {(0,T), (1,F)} тогда для F + T имеем множество значений {(1,T), (0,F)}
где твой изоморфизьм? это вообще разные множества. наличие селектора развалило твой изоморфизм.