AO
И это его прямое назначение
Size: a a a
2019 November 12
λ
Nohing это не населённый тип, который как раз говорит, дальше этого выражения код не пойдёт
Роль в субтайпинге поболее важна
AO
И какова его роль? Дать ботом тайп?
AO
Ну конечно компилятору с этим местами проще жить да
AS
Роль в субтайпинге поболее важна
Согласен. В контексте беседы просто второе использование обсуждали
λ
Для вариантных тайпконструкторов
λ
Полезно
AO
Согласен. В контексте беседы просто второе использование обсуждали
Ну вот в контексте второго, существует три варианта откуда может взяться Nothing
AK
У меня спортзал всего два раза в неделю, а из семьи только жена.
Так что остаётся в жизни место, чтобы писать код и читать паперы в нерабочее время
Так что остаётся в жизни место, чтобы писать код и читать паперы в нерабочее время
Могу сказать, что без спортзала, но с детьми тоже можно найти время при желании )
AS
Ну вот в контексте второго, существует три варианта откуда может взяться Nothing
Я знаю про один, когда нужно выбросить эксепшен. Давайте 2 других и разницу между unit и nothing на ваш взгляд.
λ
Я знаю про один, когда нужно выбросить эксепшен. Давайте 2 других и разницу между unit и nothing на ваш взгляд.
AS
Сорри. @eld0727 можно там ответить
AO
Сорри. @eld0727 можно там ответить
Этож придётся туда заходить, короче
1) throw
2) infinite process
3) return
1) throw
2) infinite process
3) return
AO
Забыл шутку бахнуть, про мы вам перезвоним :(
Oℕ
Этож придётся туда заходить, короче
1) throw
2) infinite process
3) return
1) throw
2) infinite process
3) return
это очень короткий список
Oℕ
и все эти применения вытекают автоматически из его Bottom роли
AS
Этож придётся туда заходить, короче
1) throw
2) infinite process
3) return
1) throw
2) infinite process
3) return
Инфинит процесс, который никогда не возвращает и не имеет side effect? А зачем он тогда?
Oℕ
Инфинит процесс, который никогда не возвращает и не имеет side effect? А зачем он тогда?
AO
это очень короткий список
Я имел ввиду в качестве возвращаемого значения, в качестве тайп параметра понятно что он может появится где угодно, но вот для этого я больше не знаю вариантов
Oℕ
Лучший способ - никогда не использовать Nothing качестве возвращаемого значения