K
Потому что проверяй Maybe
Size: a a a
2021 September 09
SO
это лишние телодвижения ненужные в данном случае, по идее вполне могу бы быть какой-то ExaustiveMap
KV
В хаскеле всё предусмотрено
KV
В пурсе я не знаю. Погуглите по кейворду total map
SO
а да total в данном случае нужно использовать)
KV
total ещё может быть в значении "возвращает Maybe", к сожалению
SO
тут еще какое-то default value
ЗП
^
только можно сделать класс Default
только можно сделать класс Default
KV
Это вариант для тех, кто любит лишнюю возню
SO
НУ в общем для моего случая это был такой тип
TotalMap который может доставать значения без Maybe но его можно было сконструировать легально только допустим через fromFoldable :: Array (Tuple k v) -> Maybe TotalMap k vSO
или `
fromFoldable :: Array (Tuple k v) -> Either (Array k) (TotalMap k v) который бы возвращал отсутствующие ключиЗП
приведи пример прототипа
KV
Я так и написал с самого начала... Только для функций, потому что не понял, зачем мапа, когда есть функции
SO
прототипа чего?
ЗП
как?
lookUp просто дефолт подставляется?SO
Наверное тот же Map только без insert/delete. В чем тут проблема?