A64m
главный-то синтаксис - лейблы - уже есть
Зигохистоморфный
что-то вроде паттерн-синонимов-рекордов, которые поддерживают лейблы
ну думаю нужно такое
https://github.com/natefaubion/purescript-variant
A64m
вот без них библиотечные рекорды, конечно, совсем страшные были
Vladimir
Vladimir
Это типа как data frame в R?
Andrew
Что это за "строчные типы" такие? Хочу знать, об чём этот комикс.
опечатка поди, "raw types"
Maxim
нет, row
Зигохистоморфный
нет там опечатки
Зигохистоморфный
row polymorphism
Maxim
https://github.com/purescript/documentation/blob/master/language/Types.md#row-polymorphism
Maxim
где-то в книге по пурсе нормально показывается что такое и зачем
Aliester
я тут поставил haskell-platform и там нет стака
Aliester
чяднт?
Алексей ayaye :)
ставь стек, он всё сам скачает, включая платформу.
Ilya
https://github.com/purescript/documentation/blob/master/language/Types.md#row-polymorphism
Утиная типизация какая-то
Ilya
Вот в чём отличие?
Vladimir
Вывод типов же. Правда клапауций сейчас скажет поди, что никакого вывода там нет.
Ilya
Вывод типов же. Правда клапауций сейчас скажет поди, что никакого вывода там нет.
Ну так вывод типов не противоречит утиной типизации кмк
Maxim
Кря
Ilya
Статическая утиная типизация as is
Maxim
Кстати, а HasCtx подход с линзами не похож на row types?
Andrew
🤔 век учись...
Ilya
... дураком помрёшь
Aleksei (astynax)
век жить - неплохо
Aleksei (astynax)
35 лет пенсию получать!
кана
A64m
и линзами не пользуетесь?
Ю ли я? 🤔
Слово есть, а жопы нету?
A64m
жопа есть, а утиной типизации нету
Cheese
Что это за "строчные типы" такие? Хочу знать, об чём этот комикс.
рядные. структурки, полиморфные по составу полей
кана
@A64m_qb0 а у нас что-нить для рядового полиморфизма хорошее есть?
кана
рядного
кана
Рядовой Полиморфизм, выйти из строя
Anonymous
Полезное дело!
Anonymous
Кроме видов тайперов можно еще обсудить парадигмы и подходы. Там тоже много простора для таксономических дискуссий
A64m
в том и дело, что обсуждать тут нечего. это шизофазия обычная. можно быть воздушным асом, можно быть воздушной планетой, можно быть утиной типизацией, и такую типизацию примут по учебнику
Aliester
словосочетание "работа на хаскеле" тоже есть
Евгений
Есть пейпер по этому вашу рядному полиморфизму? Я нашёл только какие-то сраные слайды. Исходя из них я не понял чем оно отличается от existential over type class
Anton
словосочетание "работа на хаскеле" тоже есть
Как будто хаскелл для работы и выбирают
Евгений
Aliester
надо содать клаупацийбота
Евгений
Клапауципедию
A64m
в диссере марка джонса есть описание в три странички (по крайней мере того что тут оьбсуждается выше)
A64m
стр 15 https://www.cs.ox.ac.uk/files/3432/PRG106.pdf
A64m
это короткое изложение пейпера R.W. Harper and B.C. Pierce (1990). Extensible records without subsumption в котором эти самые рекорды и изобрели, но я его не видел
Boris
А fpconf не случится в этом году?
Alexander
летом же
Alexander
блин надо послать доклад
Alexander
ааа
Alexander
CC @cblp_su (вопрос выше)
Cheese
fpconf либо случится, либо нет
Cheese
я не знаю
Boris
Просто типа полтора месяца всего до начала, а там и конь не валялся
Alexander
аа
Евгений
А там же речь шла об отдельной площадке для хаскелистов? Или уже не идёт?
Vadim
Привет
Cheese
А там же речь шла об отдельной площадке для хаскелистов? Или уже не идёт?
вся конференция исключительно про Хаскель
Alexander
@haskell_blah туда вот
Alexander
а теперь не будет и хаскельного трека не будет?
Alexander
win win
Cheese
про хаскельный трек речи не было
Kirill
@cblp_su есть какие-то новости?
Alexander
с небольшими вкраплениями скалы и кложи
Cheese
в прошлый раз он почти был (по факту)
может, и в следующий раз будет. если будет зимой очередной общий Fpconf
Евгений
Хм, у меня есть дерево, в вершинах которого в том числе int'ы лежат. Как мне по человечески привесить к этому дереву IntMap, ключами как раз эти инты будут?
Зря я так окасаки и не прочитал :(
Dmitry
А ключи какие?
Евгений
Условно есть:
data Tree a = Tree Int a
Хочу IntMap Tree, с возможностью искать по этому Int, преобразовывать дерево отсечением веток и добавлением новых
Cheese
то есть обойти оригинальное дерево и собрать IntMap?
Cheese
при изменении оригинального дерева обновлять этот индекс?
Евгений
Ну собрать я intmap я могу, а как консистентно поддерживать его соответствие дереву?
Cheese
первое приближение — строить заново каждый раз
Cheese
всё остальное оптимизации