ага

СRex?

или как его там

мне ж нужна функция R -> Maybe t

мне ж нужна функция R -> Maybe t

что такое R?

ну или t In tt => R tt -> t

имя структуры whatever it is

типа опциональный деструктор?

СRex?

речь про https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain видимо

там особо и не доделано, ну и на гитхабе где-то год активности не видно

а я про https://wiki.haskell.org/CTRex говорил походу

чет у меня никак руки не дойдут бенчмарк разных рекордов сделать, я уже и парсер для -v выхлопа накостылил

чет у меня никак руки не дойдут бенчмарк разных рекордов сделать, я уже и парсер для -v выхлопа накостылил

знаю про такой список https://docs.google.com/spreadsheets/d/14MJEjiMVulTVzSU4Bg4cCYZVfkbgANCRlrOiRneNRv8/edit#gid=0

не вижу самого главного показателя, на скольки полях гхц загибается

не вижу самого главного показателя, на скольки полях гхц загибается

вот можешь дополнить) я знаю ты любишь такое делать, например мучал хештаблицы и generic lens

я ничего не люблю

@xgrommx мне важны не имена полей, а типы

т.е. тип это имя поля

что-то типа typelevel list?

это сильно уменьшает интерфейс и упрощает жизнь

обычный гетерогенный список

с typelevel информацией о том, что там лежит

что там *точно* лежит

т.е. мне норм если там будет лежать больше, чем я мне надо, просто я не смогу это достать

это какой-то opened type sum?

да

да

fastsum смотрел?

> project :: forall e r v. e :< r => Sum r v -> Maybe (e v) wtf>

?

нет опять же это оверкил для задачи

так же пакеты инстансы которых я не могу увидеть до конца при масштабе 10% в браузере это не интересно

пакет норм, но для другого

опять же он не плоский

т.е. мне нужен более менее безопасный стораж поверх массивов с индексированием по типам, logN меня устраивает

мб что-то такое? https://github.com/i-am-tom/learn-me-a-haskell#oneof но это вроде обычный Union там еще есть HList Bag HTree

а почему бы мне не использовать typeremap?

HList HTree не плоские

Bag тупо совсем не то

@qnikst есть еще http://hackage.haskell.org/package/union https://hackage.haskell.org/package/open-union но в одном из них винил

да я в курсе

ты так говоришь, как будто я этих пакетов не видел

ну я так, просто)

но я даже если у них будут хорошие свойства я не знаю почему я должен предпочесть их решению от @chshersh

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

но я даже если у них будут хорошие свойства я не знаю почему я должен предпочесть их решению от @chshersh

это ты про typerep-map?

да

я конечно видел еще http://hackage.haskell.org/package/dependent-map-0.2.4.0/docs/Data-Dependent-Map.html http://hackage.haskell.org/package/dependent-sum-0.4/docs/Data-Dependent-Sum.html

там бойлерплейта много

вроде

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

а это? http://hackage.haskell.org/package/type-level-sets

но я даже если у них будут хорошие свойства я не знаю почему я должен предпочесть их решению от @chshersh

Формально говоря, именно typerep-map написал не я, а @vrom911

а разве vrom911 не в вашей огранизации и её тоже не убьет землетрясением, которое уничтожит сингапур?

а чорт, да я там сослаться что решение твое, ок

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

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

Спасибо за приятный отзыв ^_^ Если возникнут какие-то issue с библиотеками, то с радостью поможем! 🙂 Всегда можно открыть issue и обсудить! Я вот typerep-map как раз использую для введений клевой штуки в новой библиотеке (скоро еще один блог пост будет). Всегда приятно, когда свои же библиотеки нужны себе же 🙂

Спасибо за приятный отзыв ^_^ Если возникнут какие-то issue с библиотеками, то с радостью поможем! 🙂 Всегда можно открыть issue и обсудить! Я вот typerep-map как раз использую для введений клевой штуки в новой библиотеке (скоро еще один блог пост будет). Всегда приятно, когда свои же библиотеки нужны себе же 🙂

напомни ваш блог

я конечно видел еще http://hackage.haskell.org/package/dependent-map-0.2.4.0/docs/Data-Dependent-Map.html http://hackage.haskell.org/package/dependent-sum-0.4/docs/Data-Dependent-Sum.html

Стать лучше dendent-map было одной из мотивацией для создания typerep-map. dependent-map по сути является копипастой кода библиотеки containers, только сам тип изменен, чтобы поддержать индексирование по типам. Согласно бенчмаркам, typerep-map в 3-4 раза быстрей dependent-map на поиске. Но поскольку реализована на массиве, то вставка медленней. Хорошо подходит, когда поисков намного больше, чем вставок) Оказалось, что таких юзкейсов не так уж мало.

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

напомни ваш блог

Пожалуйста 🙂 * https://kowainik.github.io/posts

вообще для меня typerep-map скорее похожа на typemap снойманову или что там в vault, только а. с безопасным интерфейсом б. тип это ключ в. быстрее на моих кейсах

у меня были похожие штуки, но я а. не выделял это в пакет, б. или не безопасные или с именами, а не по типам

а тут все за меня сделано

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

На работе поощряют опенсорс, и хотят, чтобы люди развивались. Полдня в неделю надо отводить изучению новым штукам или проектам. Но вообще да, пока что и просто на Haskell писать очень увлекательно, столько нового можно выучить и сделать, поэтому есть время и желание 🙂

@qnikst, это телеграм чатик, а не твиттер, напиши то, что ты думаешь про хаскель и db

я ж писал

[количество цензарной ругани превысило размер сообщения]

у нас нету ни одной приличной low level либы работающей с pg

все работает поверх libpg

ты смотришь графики rps, и видишь проседание на 20% при тупых запросах мелких

у тебя большие и ты ловишь RTS на вечном spin lock где оно проводит 80% cpu времени на threaded RTS

ибо GC

приличной либы опубликованной на hackage

все работает поверх libpg

тебе нужен прябой байндинг к libpq?

МНЕ НЕ НУЖЕН libpq

вот postgres-wire то что мне нужно

мне нужна нативная либа общающаяся с pg напрямую

а разве с Посгресом можно общаться мимо libpq? я не в курсе

ну сокет у него есть, куда коннект идет значит можно

в go например нативный драйвер