"Типобезопасная" = "Отсутствует львиная доля багов, для недопуска которых в языках без типизации требуется внимательность"
На моём опыте это ощущается как то, что необходимость писать программы в рамках определённой системы заставляет тебя обдумать все эти места в которых могли бы быть баги, потому что по-другому код просто не получится написать
Я знаю, что такое строгая типизация. Вопрос был о том, что прибавляет к ней {-# LANGUAGE Safe #-}.
what you see is what you get, WYSIWYG от мира типов )
A type system is "sound" if we are guaranteed that a program which type checks at compile time has no type errors at runtime.
Обсуждают сегодня