История изменений
Исправление monk, (текущая версия) :
Никаких FA U FB - это всегда значит боксинг+рантайм-диспатч. Люди сказали что их язык «статически типизированный», потом сказали тоже самое про си. И они давай наделять свои фантазии свойствами си.
С чего это?
char a;
unsigned int b
n > 0 ? a : b // имеет тип int
А для совсем разных типов в си есть union. Это как раз FA U FB.
Исходная версия monk, :
Никаких FA U FB - это всегда значит боксинг+рантайм-диспатч. Люди сказали что их язык «статически типизированный», потом сказали тоже самое про си. И они давай наделять свои фантазии свойствами си.
С чего это?
char a;
unsigned int b
n > 0 ? fn_a : fn_b // имеет тип int
А для совсем разных типов в си есть union. Это как раз FA U FB.