да даже если удариться в смысл слова словарь, то это противоречит структуре

так, почти все источники, что я по быстрому загуглил, говорят, что словарь - ассоциированный массив или хэшмап или любая другая **динимическая** версия структуры

массив, выделенный в куче, вполне динамический, однако, его вряд ли можно назвать словарём

а он ассоциированный?

конечно, целыми числами

конечно, целыми числами

Целые числа это слова в алфавите {0,1}

вообще, в разных местах под одним и тем же словом подразумевают разные вещи, а одно и то же называют разными словами

Generally, type classes are translated into SystemF [17] by (1) turn- ing each class into a record type, called a dictionary, contain- ing the class methods, (2) converting each instance into a dic- tionary value, and (3) passing such dictionaries to whichever function mentions a class in its signature. For example, a func- tion of type negate :: Num a => a -> a will translate to negate : NumDict a → a → a, where NumDict is the record generated

скажите, какие есть операции и какие у них свойства

System F with type equality coercions

так может это именно в контексте хаскеля словарь понимают неправильно?

[17] C. V. Hall, K. Hammond, S. L. Peyton Jones, and P. L.Wadler. Type classes in Haskell. ACMTrans. Program. Lang. Syst., 18(2):109–138, 1996. [18]

типа вставка за O(n), доступ за O(1), памяти жрёт O(n^2)

вот в Семёновых статьях так

той куда ссылка у меня нету, буду щас искать качать

подозреваю, что в лиспе dictionary ~ linked list :D

скорее alist или plist

> Each instance declaration generates an appropriate corresponding dictionary declaration. The dictionary for a class contains dictionaries for all the superclasses, and methods for all the operators. Corresponding to the Eq Int and Ord Int instances, we have the dictionaries:

той куда ссылка у меня нету, буду щас искать качать

Во всём виноват SPJ!

все ошибаются кроме SPJ это ж очевидно

это PJ

скорее alist или plist

да не важно, внутре всё равно car и cdr

вон @A64m_qb0 надо пнуть

он наверяка знает откуда термин

@qnikst это не Клапауций случайно?

вроде же это давно выяснили

@lonokhov за пару фраз вывел

Я уже спрашивал, но не увидел подтверждения.

ну может его брат близнец

Он отказывается от комментариев же

В вадлеровском пейпере уже dictionary

а до него вроде и не было ничего

https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf стр. 7 например

lambda man не может быть виноват

Да ладно, просто хаскелевская тусовочка очень замкнутая. Когда тут начинают естественные изоморфизмы между эндофункторами над Hask строить я тоже себя чувствую лишним. Потому что по мне так теоркат удобен только чтобы когомологии в триагулированных категориях считать, а не вот вот всё.

Вообще, любая тусовочка имеет такие штуки. Например, в языке R (люди, которые непосредственно над языком работают, а не статистики всякие) говорят promise про то, что в Х. называют thunk. И когда им говоришь, что вообще-то промизы давно заняты в конкурентном программировании (для другого), они отмахиваются…

кстати промисы и weakref там взяты из haskell

о чем недвусмысленно пишет мануал для разрабов

и у них очень интересный подход к иммутабельности

(ужасный)

А как лучше называть эти словари, если не словари?

А как лучше называть эти словари, если не словари?

Ну в тексте, который кникст выше кидал есть слово "рекорд", ещё есть слово "структура"

"метод передачи рекорда класса" "структуры класса" нууууу

"словаря класса" тож такое

хотя, у Вадлера они method dictionaries

и у них очень интересный подход к иммутабельности

«если значение не изменять, оно будет неизменяемым» — такой?

хотя, у Вадлера они method dictionaries

Вот, а я про что говорил?

да там все правильно, если не считать, что рекордов тогда не было, но все равно не понятно, очему _словарь_ методов-то?

«если значение не изменять, оно будет неизменяемым» — такой?

не, там если ты шаришь структуру, то меняется флажок

потом тот кто хочет поменять, смотрит, что там за флажок, если 1, то копирует структуру и обновляет

если нет, то меняет inplace

@A64m_qb0 vtable же

vtable это только когда словарь к GADT прикрепляется

потом тот кто хочет поменять, смотрит, что там за флажок, если 1, то копирует структуру и обновляет

Коротко говоря: copy on write. Да, так и есть. Я бы не сказал, что это именно к неизменяемости относится

/test

/stat@combot

combot.org/chat/-1001043143583

а новый enconding в aeson можно скомпозить с монадическими стримами?

@qnikst всё ещё жду анонс твоего доклада на фп-митап

читаю о Геделе и лолирую

В 1948 году Гёдель получил американское гражданство. На собеседовании он попытался доказать, что Конституция США формально-логически неполна и не гарантирует от установления диктатуры, но был вежливо остановлен.

В 1948 году Гёдель получил американское гражданство. На собеседовании он попытался доказать, что Конституция США формально-логически неполна и не гарантирует от установления диктатуры, но был вежливо остановлен.

Что за книга?

Ignat ага, я напишу, у меня тут некоторый форс-мажор был, я с трудом все успеваю (не все)

мне ещё надо понять смогу ли я вообще доехать

Что за книга?

https://web.archive.org/web/20141226210511/https://robert.accettura.com/wp-content/uploads/2010/10/Morgenstern_onGoedelcitizenship.pdf

судя по кол-ву звезд на гитхабе (5) Гендри полностью удалось убедить зрителей своим невеселым докладом в том, что линзы с абстрактными типами не нужны

ох

А что за доклад?

вот этот вот https://github.com/well-typed/optics/blob/master/Talk.pdf на хаскельэксчендж

доклад невеселый не в смысле плохой, там просто честно перечисляются недостатки выбранного ими подхода

как-то пока больше на библиотеку для публикации похоже, чем на что-то юзабельное

ну правильно, в lens за первые 8 месяцев существования были тысячи коммитов и под сотню KLOC добавлено. Она за это время, в общем-то вся и написана была. А тут

но все равно, сделать доклад, видео доступно, мероприятие достаточно известное у хаскелистов. В докладе прямо ссылка на репо на гитхабе. И после всего этого ПЯТЬ звезд.

из которых 3 - не забыть посмотреть

ну это-то нормально. Но что-то мало кто хочет не забыть

у хаскелистов не принято на гитхабе звездить

В 1948 году Гёдель получил американское гражданство. На собеседовании он попытался доказать, что Конституция США формально-логически неполна и не гарантирует от установления диктатуры, но был вежливо остановлен.

да, его эйнштейн там еле спас от провала)

ученые они такие

у хаскелитов принято лямбдочки на Хакадже ставить

а есть топ либ по лямбдочкам?

там же 4х оценок наверное достаточно чтобы на 1е место вырваться

vector почему-то никто лямбдами не оценил. Хмммм... малоизвестная библиотека наверное, годится ли для продакшона?

112 звёздочек на гитхабе. ну так, ребята в начале пути