История изменений
Исправление korvin_, (текущая версия) :
Да ну? У тебя для функции f(x) := 1 / x статическая типизация сделает тип «всё, кроме нуля»?
В агде, например, запросто, насколько я пониманию.
Исходная версия korvin_, :
Да ну? У тебя для функции f(x) := 1 / x статическая типизация сделает тип «всё, кроме нуля»?
В агде, насколько я пониманию, запросто.