AZ
Пусть
a и b это Optional.c всегда есть, если есть b — обычное значение.Size: a a a
2021 April 05
AZ
А
N
Ну напиши аналогичный пример.
окей, если тебе надо из функции вернуть значение, если оно найдено, или дефолтное, если оно не найдено - тогда у тебя будет .entry() или, как Шагит выше написал, unwrap_or()
N
другое дело - что ты не должен этого хотеть. Но да, в расте так
AZ
Ты усложняешь.
AZ
Просто в рамках одного неймспейса.
AZ
Получить одно значение из структуры.
AZ
Да, в итоге это решается либо матчами, или анврапом, но это прямо больно. Тем более, что кейс-то вполне обычный.
AZ
Данные из жысона, или данные базы — просто может не быть соответствующего значения и быть, при этом, нормой.
N
Да, в итоге это решается либо матчами, или анврапом, но это прямо больно. Тем более, что кейс-то вполне обычный.
ну просто конкретно в теории типов это, по определению, Some() или Either(), как более общий случай
AZ
Теории мало что стоят, если не соответствуют практике.
N
и извлечение из него значения должно быть явным и видимым
N
Теории мало что стоят, если не соответствуют практике.
наоборот же. Если практика не учитывает теорию никак, то грош цена такой практике
AZ
Вон выше, я привёл пример: всё максимально явно. Настолько, что ты, не знаю языка, прекрасно прочитал написанное.
AZ
наоборот же. Если практика не учитывает теорию никак, то грош цена такой практике
Нет. Практике на теорию пофиг. Она дело делать. Обычно полезное.
AZ
Если теория может улучшить пратику — прекрасно.
N
Вон выше, я привёл пример: всё максимально явно. Настолько, что ты, не знаю языка, прекрасно прочитал написанное.
неявный костыль, скорее. Но это просто сахар, окей
AZ
Но это далеко не всегда так.
AZ
неявный костыль, скорее. Но это просто сахар, окей
Чем неявный?
N
Нет. Практике на теорию пофиг. Она дело делать. Обычно полезное.
наоборот. Теория описывает, как есть. А делать, не зная, как есть - ну такое. Без четкого тз результат хз