если можно кинуть undefined?
undefined можно кинуть вообще везде, нас же это не будет смущать в контексте "хаскель - типобезопасный язык"
ну, многих смущает, смущает например невозможность выражать ненаселённые типы
Это утверждение касается не полнейшей невозможности населить Void, что неверно даже в специализированных пруверах, а именно дизайна языка, опирающегося на систему типов, и особенностью этого дизайна является простой и понятный набор правил, которые надо соблюдать чтобы получить типобезопасную программу
что такое “типобезопасная программа”? насколько полезно это свойство?
как раз-таки в контексте Safe и IO это свойство очень полезно )) Сендбоксинг на этом строится
Обсуждают сегодня