Ну вот как это “makes the types of programs trustable”,

Question

Haskell

Bodigrim🇺🇦

Ну вот как это “makes the types of programs trustable”,

если можно кинуть undefined?

#haskell #programming #russian

0

15.12.2021

5 ответов

13 просмотров

кана

Max Avanov
undefined можно кинуть вообще везде, нас же это не...

ну, многих смущает, смущает например невозможность выражать ненаселённые типы

0

15.12.2021

Type Еггор

Это утверждение касается не полнейшей невозможности населить Void, что неверно даже в специализированных пруверах, а именно дизайна языка, опирающегося на систему типов, и особенностью этого дизайна является простой и понятный набор правил, которые надо соблюдать чтобы получить типобезопасную программу

0

15.12.2021

Bodigrim🇺🇦 Автор вопроса

Type Еггор
Это утверждение касается не полнейшей невозможност...

что такое “типобезопасная программа”? насколько полезно это свойство?

0

15.12.2021

Max Avanov

Bodigrim🇺🇦
что такое “типобезопасная программа”? насколько по...

как раз-таки в контексте Safe и IO это свойство очень полезно )) Сендбоксинг на этом строится

0

15.12.2021