row polymorphism

https://github.com/purescript/documentation/blob/master/language/Types.md#row-polymorphism

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

я тут поставил haskell-platform и там нет стака

чяднт?

ставь стек, он всё сам скачает, включая платформу.

https://github.com/purescript/documentation/blob/master/language/Types.md#row-polymorphism

Утиная типизация какая-то

Вот в чём отличие?

Вывод типов же. Правда клапауций сейчас скажет поди, что никакого вывода там нет.

Вывод типов же. Правда клапауций сейчас скажет поди, что никакого вывода там нет.

Ну так вывод типов не противоречит утиной типизации кмк

Кря

Статическая утиная типизация as is

Кстати, а HasCtx подход с линзами не похож на row types?

? век учись...

... дураком помрёшь

век жить - неплохо

35 лет пенсию получать!

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

Компошу постоянно, но не кортежи

и линзами не пользуетесь?

Вот в чём отличие?

отличие в том, что утиной типизации не существует

Слово есть, а жопы нету?

жопа есть, а утиной типизации нету

Что это за "строчные типы" такие? Хочу знать, об чём этот комикс.

рядные. структурки, полиморфные по составу полей

@A64m_qb0 а у нас что-нить для рядового полиморфизма хорошее есть?

рядного

Рядовой Полиморфизм, выйти из строя

жопа есть, а утиной типизации нету

О, опять таксономические споры

Полезное дело!

Кроме видов тайперов можно еще обсудить парадигмы и подходы. Там тоже много простора для таксономических дискуссий

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

Слово есть, а жопы нету?

Слово бог тоже есть

словосочетание "работа на хаскеле" тоже есть

Есть пейпер по этому вашу рядному полиморфизму? Я нашёл только какие-то сраные слайды. Исходя из них я не понял чем оно отличается от existential over type class

словосочетание "работа на хаскеле" тоже есть

Как будто хаскелл для работы и выбирают

словосочетание "работа на хаскеле" тоже есть

Бывает даже дивапс хаскель-стека

Есть пейпер по этому вашу рядному полиморфизму? Я нашёл только какие-то сраные слайды. Исходя из них я не понял чем оно отличается от existential over type class

@A64m_qb0

надо содать клаупацийбота

Клапауципедию

в диссере марка джонса есть описание в три странички (по крайней мере того что тут оьбсуждается выше)

стр 15 https://www.cs.ox.ac.uk/files/3432/PRG106.pdf

это короткое изложение пейпера R.W. Harper and B.C. Pierce (1990). Extensible records without subsumption в котором эти самые рекорды и изобрели, но я его не видел

А fpconf не случится в этом году?

летом же

блин надо послать доклад

ааа

CC @cblp_su (вопрос выше)

fpconf либо случится, либо нет

я не знаю

Просто типа полтора месяца всего до начала, а там и конь не валялся

аа

А там же речь шла об отдельной площадке для хаскелистов? Или уже не идёт?

Привет

А там же речь шла об отдельной площадке для хаскелистов? Или уже не идёт?

вся конференция исключительно про Хаскель

@haskell_blah туда вот

вся конференция исключительно про Хаскель

...могла бы быть

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

win win

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

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

…ни хаскельных докладов

ERROR: S client not available

@cblp_su есть какие-то новости?

@cblp_su есть какие-то новости?

нет

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

в прошлый раз он почти был (по факту)

с небольшими вкраплениями скалы и кложи

в прошлый раз он почти был (по факту)

может, и в следующий раз будет. если будет зимой очередной общий Fpconf

Хм, у меня есть дерево, в вершинах которого в том числе int'ы лежат. Как мне по человечески привесить к этому дереву IntMap, ключами как раз эти инты будут? Зря я так окасаки и не прочитал :(

А ключи какие?

Условно есть: data Tree a = Tree Int a Хочу IntMap Tree, с возможностью искать по этому Int, преобразовывать дерево отсечением веток и добавлением новых

то есть обойти оригинальное дерево и собрать IntMap?

при изменении оригинального дерева обновлять этот индекс?

Ну собрать я intmap я могу, а как консистентно поддерживать его соответствие дереву?

первое приближение — строить заново каждый раз

всё остальное оптимизации

думаешь, науке известно идеальное решение этой задачи?

а оргигинальный тип строго такой?

Ну там данные, не влияющие на построение дерева

Единственное что -- сама иерархия дерева несёт информацию, а вот int'ы можно произвольно выбирать

data Tree a = Tree Int a не очень похоже на дерево, если честно

Тьфу

data Tree a = Tree Int a [Tree]

в детях одного узла инты могут быть одинаковыми?

Это универсальный идентификатор

уникальны в пределах дерева?

Ага

Звучит как IxSet

а пойнтфри в хаскеле порицается с точки зрения стиля?

Звучит как IxSet

Не понимаю как он может помочь, как мне иерархию восстановить по IxSet?

Ты делаешь инстанс для своего дерева, а оно трекает индексы

Или я с чем-то путаю... ?