термину soundness, с которым Одерский носится с начала dotty?
Ну или ссылку какую-нить, но чтобы без глубокой математики, а чтоб на верхнем уровне было понятно - что это даёт и почему это важно.
Выражения с использованием безопасного сабсета языка не приводят к рантайм ошибкам. Не включая технические, типа память закончилась
Обсуждают сегодня