metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2010-09-09 02:37 pm

Список внутри словаря

А вот как правильно сделать такую иммутабельную функциональную структуру данных:

есть словарь(map) из строк в качестве ключей и некоей структуры в качестве значений. Причем эта структура содержит внутри себя список. Для простоты можно считать что структура и есть просто список.
И задача - заполнить оный словарь имея список пар "строка-ключ, значение для списка". Ключи в списке пар повторяются. Короче, что-то вроде "select key,list(value) from KeyValuePairs group by key".

Наверно, можно предварительно отсортировать список по ключам, затем просто пройтись по списку, объединяя списки пар с одинаковыми ключами в пару "ключ, список значений" и полученное затем засунуть в словарь.

[identity profile] x-a-e-p.livejournal.com 2010-09-09 03:02 pm (UTC)(link)
вставки делать надо(то есть после начального заполнения структуры изменяться она не будет)? если нет, то собственно, отсортированный по ключу массив (ключ, значение) и есть такая структура.

[identity profile] http://users.livejournal.com/_slw/ 2010-09-09 05:15 pm (UTC)(link)
push @{$Dict{$key}}, $value;

(Anonymous) 2010-09-09 06:12 pm (UTC)(link)
Кажется, в простейшем случае вам подходит Data.Map.insertWith (++).

[identity profile] metaclass.livejournal.com 2010-09-09 06:21 pm (UTC)(link)
Ага, ближе всего к этому.

[identity profile] gds.livejournal.com 2010-09-09 07:01 pm (UTC)(link)
правильно -- в зависимости от того, что делают с ключами потом, для доступа по ним. В среднем случае -- какое-нибудь avl tree (есть доказанно-корректная реализация, если чо), значения которого хранят эти самые list(value) (либо список, либо finger trees).
А вот как такое строить -- есть разные идеи. Если очень хочется эффективности, можно сделать слияние деревьев, где для слияния значений будет использоваться какая-нибудь из эффективных форм склеивания содержимого (для списков -- зависит от списков и семантики языка, для finger trees -- всё однозначно).

[identity profile] permea-kra.livejournal.com 2010-09-09 08:50 pm (UTC)(link)
foldl M.empty (M.unionWith (++)) . map ( uncarry M.singleton )

[identity profile] permea-kra.livejournal.com 2010-09-09 08:53 pm (UTC)(link)
>>есть словарь(map) из строк в качестве ключей
http://hackage.haskell.org/package/list-tries-0.2

>>И задача - заполнить оный словарь имея список пар "строка-ключ, значение для списка"
http://hackage.haskell.org/packages/archive/fingertree/0.0.1.0/doc/html/Data-FingerTree.html В вариации секуэнса (см статью из заголовка)



[identity profile] http://users.livejournal.com/_slw/ 2010-09-09 08:54 pm (UTC)(link)
у меня лаконичней

[identity profile] permea-kra.livejournal.com 2010-09-09 08:55 pm (UTC)(link)
У вас нечитаемый asii-арт.

[identity profile] permea-kra.livejournal.com 2010-09-09 08:56 pm (UTC)(link)
И половина мысли, насколько я вижу

[identity profile] http://users.livejournal.com/_slw/ 2010-09-09 08:57 pm (UTC)(link)
не более вашего

[identity profile] http://users.livejournal.com/_slw/ 2010-09-09 08:59 pm (UTC)(link)
ровно та половина, на которую хватило ТЗ

[identity profile] gds.livejournal.com 2010-09-10 04:12 am (UTC)(link)
кстати да, вот тут перл лучше хаскеля. Гораздо более интуитивно-понятное решение.