Т8
если это не проверяет компилятор значит просто
нет. Компилятор не настолько умный, чтобы понимать, как должно быть обработано, но ты сам-то как умудришься не обработать, раз уж залоггировал?
Size: a a a
2020 August 01
Т8
удивительная забывчивость/невнимательность?
AZ
Т-34 85
нет. Компилятор не настолько умный, чтобы понимать, как должно быть обработано, но ты сам-то как умудришься не обработать, раз уж залоггировал?
ну вот в расте как-то получается
AZ
компилятором проверять
AZ
ты НЕ сможешь вывести значение внутри Result не проверив его
AZ
никак
AZ
ну разве что трансмутом с УБ, но это уб
p
Т-34 85
да. Но только залоггировать и забыть обработать не так просто
Просто
Т8
ты НЕ сможешь вывести значение внутри Result не проверив его
ну, окей, шанс ошибиться станет не 0.1%, а 0%. Да, большая разница
ГС
Т-34 85
ну, окей, шанс ошибиться станет не 0.1%, а 0%. Да, большая разница
зачем допускать этот шанс, если можно не допускать?
Ct
Т-34 85
ну, окей, шанс ошибиться станет не 0.1%, а 0%. Да, большая разница
Разница большая. С 0.1% у тебя будут из за этого баги, с 0% - не будут.
Т8
https://habr.com/ru/post/415737/ за меня вже всё написано
1. не вижу прям уж такой проблемы, нечто подобное и в Rust придётся делать (же?)
Да и Дедфуд там говорит
Да не, просто придираться к визиторам и тому подобному — это, ну, такое.
Меня вот куда больше печалит то, что void не является полноценным членом системы типов, и это больно бьёт по дженерик-коду и по типотеоретику внутри меня. И исправить это так, чтобы система типов стала чуть менее unsound и при этом осталась практичной, похоже, нельзя.
https://habr.com/ru/post/415737/#comment_18833351https://habr.com/ru/post/415737/#comment_18833351
2. optional - аналог Nullable. Тут либо есть, либо нет, не надо кэтчить типы
Да и Дедфуд там говорит
Да не, просто придираться к визиторам и тому подобному — это, ну, такое.
Меня вот куда больше печалит то, что void не является полноценным членом системы типов, и это больно бьёт по дженерик-коду и по типотеоретику внутри меня. И исправить это так, чтобы система типов стала чуть менее unsound и при этом осталась практичной, похоже, нельзя.
https://habr.com/ru/post/415737/#comment_18833351https://habr.com/ru/post/415737/#comment_18833351
2. optional - аналог Nullable. Тут либо есть, либо нет, не надо кэтчить типы
Т8
зачем допускать этот шанс, если можно не допускать?
наверное, потому что такого с тобой не случится ни в случае 1, ни в случае 2
Т8
Разница большая. С 0.1% у тебя будут из за этого баги, с 0% - не будут.
не переживай, не будут
H
Т-34 85
1. не вижу прям уж такой проблемы, нечто подобное и в Rust придётся делать (же?)
Да и Дедфуд там говорит
Да не, просто придираться к визиторам и тому подобному — это, ну, такое.
Меня вот куда больше печалит то, что void не является полноценным членом системы типов, и это больно бьёт по дженерик-коду и по типотеоретику внутри меня. И исправить это так, чтобы система типов стала чуть менее unsound и при этом осталась практичной, похоже, нельзя.
https://habr.com/ru/post/415737/#comment_18833351https://habr.com/ru/post/415737/#comment_18833351
2. optional - аналог Nullable. Тут либо есть, либо нет, не надо кэтчить типы
Да и Дедфуд там говорит
Да не, просто придираться к визиторам и тому подобному — это, ну, такое.
Меня вот куда больше печалит то, что void не является полноценным членом системы типов, и это больно бьёт по дженерик-коду и по типотеоретику внутри меня. И исправить это так, чтобы система типов стала чуть менее unsound и при этом осталась практичной, похоже, нельзя.
https://habr.com/ru/post/415737/#comment_18833351https://habr.com/ru/post/415737/#comment_18833351
2. optional - аналог Nullable. Тут либо есть, либо нет, не надо кэтчить типы
> Меня вот куда больше печалит то, что void не является полноценным членом системы типов, и это больно бьёт по дженерик-коду и по типотеоретику внутри меня. И исправить это так, чтобы система типов стала чуть менее unsound и при этом осталась практичной, похоже, нельзя.
вот это в poica жопа была, нужно было UnitType вместо этого костылять
вот это в poica жопа была, нужно было UnitType вместо этого костылять
H
у которого 1 байт размер, а должно быть 0
H
ну а тип с нулевой населённостью в Си вообще нет
H
только _Noreturn к функции
Т8
только _Noreturn к функции
это не тип
AB
> Меня вот куда больше печалит то, что void не является полноценным членом системы типов, и это больно бьёт по дженерик-коду и по типотеоретику внутри меня. И исправить это так, чтобы система типов стала чуть менее unsound и при этом осталась практичной, похоже, нельзя.
вот это в poica жопа была, нужно было UnitType вместо этого костылять
вот это в poica жопа была, нужно было UnitType вместо этого костылять
typedef int unit_t;