Да, конечно, нам нужны вложенные типы)
Но нужна ли неизвестность вложенная в неизвестность?
Типичный пример: что возвращать в get из Map<String, Option<String>>?
Есть ли смысл языку запрещать это?
Вафель написал хорошую статью, где описал проблемы с "упрощёнными" в этом месте системами типов https://ihatereality.space/01-why-null-sucks/
А есть подобная статья почему сам null сосёт? Для полноты картины. А то уже совсем от null отвык
Интересно, может ли clippy такое запретить по аналогии с использованием unwrap (судя по всему нет)
Действительно
У тебя мапа структур бывает?
например один язык выдумал undefined = None и null = Some(none)
Обсуждают сегодня