ну для известных ключей есть алгоритмы

вон сишная генерилка хешмап же есть

ну для известных ключей есть алгоритмы

это да

https://en.wikipedia.org/wiki/Perfect_hash_function#Construction

Kit, множество значений твоей хэш-функции похоже на [0..n]?

Kit, множество значений твоей хэш-функции похоже на [0..n]?

Ты про ключи или про значения?

Значения именно [0..n]

А ключи такие же, но переупорядочение

Почти такие же

Ты про ключи или про значения?

про значения хэш-функции

Значения именно [0..n]

тогда просто возьми вектор

вот и будет твоя идеальная хэш-таблица

ещё одна XY решена!

Мне надо обращаться не по упорядоченным индексам.

Вектор не подойдёт

Значения именно [0..n]

но это же именно упорядоченные индексы

Это значения

Индексы другие.

Ключи точнее

если взять хэш от ключа, получится [0..n]?

в любом случае, haskell для твоей задачи не очень подходит, учитывая объемы данных

А как же пакет от клапауция?

он сделан до конца?

ну и там только unboxed, хотя они возможно и нужны

в любом случае, haskell для твоей задачи не очень подходит, учитывая объемы данных

печалька

ну смотря насколько тебе важна скорость

vs удобство писания кода

печалька

Расскажи, что именно такое ты решаешь, если не секрет?)

ну смотря насколько тебе важна скорость

Тут не в скорость а в память упирается

Расскажи, что именно такое ты решаешь, если не секрет?)

Алгоритм Шэнкса дискретного логарифмирования

https://ru.wikipedia.org/wiki/Алгоритм_Гельфонда_—_Шенкса

память через unboxed хорошо ужимается в принципе

Для модуля порядка 10^20?

там задача еще более специфическая, но ужимается по Шэнксу до 10^10

Хм, тогда почему 10^10 записей?

Должно быть порядка корня

Для модуля порядка 10^20?

порядок модуля не важен, лишь бы был больше 10^20

Возьми ро метод Полларда, он тоже порядка корня по времени, но с константной памятью, если я правильно помню

https://en.m.wikipedia.org/wiki/Pollard%27s_rho_algorithm_for_logarithms

Ух ты, не знал про него. Я посмотрю! спасибо

ещё одна XY решена!

До труъ-XY только добрались)

совсем уже охуели (извините)

Спамер?

уменьшение кол-ва констрейнтов у функции это повод для minor или major bump?

Собирается старый код с ней?

Уменьшение констрейнтов, по идее, тянет на minor

Но может получиться "слишком полиморфно" и у кого-то не выведется тип без дополнительной аннотации

врятли, там что-то типа MonadThrow m было

оно не дает доп инфы для выбора

Ну это то не должно ничего сломать, да

(/me хочет автобампалку semver как в Elm)

/me хочет автобампалку PVP

на haskell?

на go наверное

мало ли, я бы совершенно не удивился

это только что прилетело в jvm чат, так что на чем угодно

вот

вангую что там пэхэпэ

на go наверное

отличная возможность отправить в прод идрис

в один конец ага

это детали

для начала неплохо бы написать под идрис массивы :)

и какую нибудь сетевую либу

В каком смысле массивы? Зачем? В идрисе нету векторов?

вектора это ж просто орнаментированные списки

с линейным временем индекса, аппенда и прочего

А в идрисе вообще что-нибудь с памятью сделать можно?

можно, там есть Ptr

но вообще достаточно наваять что нибудь типа HAMT

Спам

вектора это ж просто орнаментированные списки

орнамечто?

https://gist.github.com/puffnfresh/35213f97ec189757a179

а в чем у idris преимущества перед haskell?

Это другой язык

приехали

Лучше сразу закроем тред :)

https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ Вообще вот есть такое

спасибо

Почти все эти пункты либо мелочные, либо вообще ухудшение.

Единственное настоящее преимущество -- pi/sigma.

Но их раньше в Хаскель завезут, чем Идрис юзабельным станет.

Мне так кажется. Может и не завезут нынешними темпами.

Единственное настоящее преимущество -- pi/sigma.

Таки да

+

но вообще достаточно наваять что нибудь типа HAMT

Я уже наваял в своё время. Правда, там без believe_me не обошлось, доказательства на битовом типе не такие тривиальные...

Я уже наваял в своё время. Правда, там без believe_me не обошлось, доказательства на битовом типе не такие тривиальные...

вы про https://github.com/jfdm/idris-containers/pull/22 ? надо будет попробовать улучшить

может вытащите в отдельную репу, попробуем поконтрибутить? :)