должен возвращать опциональный тип. Но, очевидно, иногда логика алгоритма, подразумевает, что элемент будет там, опциональность не является частью логики. Как это разруливается, с точки зрения тру ФП. Может ли компилятор предиктить такие случаи, и давать "небезопасный доступ"? Может завтипы?
Я бы не сказал, что это имеет отношение к ФП.
Сейчас в map есть как "дай тип и свелись с эксепшеном если его нет" так и "верни плз опциональнай тип для этого ключа" вместе с option.deafult (или как там это пишется) все отлично работает
Обсуждают сегодня