Исходное сообщение
"Увидел свет язык программирования Rust 1.13" Отправлено 0xd34df00d, 14-Ноя-16 22:21
Я не хочу возражать по программистской части, потому что это будет старым-добрым спором о статической сильной системе типов vs динамической слабой, о доказываемой корректности программ и прочем всяком, поэтому ограничусь математической частью. > Почему можно делить на 1 (что бессмысленно логически) Это не бессмысленно логически. Либо продемонстрируйте, пожалуйста, систему аксиом и вывод утверждения, показывающего, что это бессмысленно. > но нельзя делить на 0? Почему только деление на 0 приводит к прерыванию выполнения? Потому что деления нет, есть умножение на обратное. А у нуля обратного элемента нет. Введение обратного приведет к ряду забавных вещей, которые вы, без сомнения, увидите сами, если примете такую гипотезу.