LINUX.ORG.RU

История изменений

Исправление 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)}

где твой изоморфизьм? это вообще разные множества. наличие селектора развалило твой изоморфизм.