мне это конечно не помешает. Но "Когда они пришли за RecordWildcards я молчал"

а потом и тайп фемили запретят

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

я перепутал, запретили вайлдкарды для топлевела не в паттернах, а наоборот в конструкторах https://git.haskell.org/ghc.git/commitdiff/2f8cd14fe909a377b3e084a4f2ded83a0e6d44dd

потому, что компиляет?

Что именно компиляет?

загружаемый код

Так нет кода, stack repl и всё

а stack repl тебе из астрала подгружает все?

или без проекта совсем?

Без проекта

Токсичненько

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

до глобального точнее, или как там он

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

@Yuu_chan тогда не знаю, действительно включить -v

и или попробовать просто cabal repl / ghci включить

и посмотреть есть ли проблема у них

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

других идей у меня нет

а RankNTypes видимо нельзя в TF

можно разве что в data-families

потому что тогда со значением можно хранить что-то (тип, инстансы, еще что)

товарищи, а есть у нас какой-нить Language.SQL

с человеческим AST для SQL запросов

но без огромного фреймворка вокруг

покажи мне хоть один ANSI SQL сервер

мне тут запросы (нетипизированные) нужно композить

т.е. всякие опалаи идут лесом

тебе для постгреса?

да

на самом деле у меня какой-то опалай-лайт будет но динамический

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

бери pgs и собирай кусочками. эскейп без IO можешь взять у меня https://github.com/sopvop/postgresql-simple-dsl/blob/master/src/Database/PostgreSQL/Simple/Dsl/Escaping.hs#L71

а переизобретать с нуля не хочется

@lonokhov а вот эскейпинг мне не сильно нужен

оно будет отправляться на другой сервис как текст + список параметров

но или AST вместо текста

Вообще был с год назад анонс аст для посгтреса

мы эту переделали https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Graph.html

предлагаешь мне тоже переделывать? оно мне поможет граф зависимостей обойти?

у нас своя была, но открыть её ваще никак не получится, хотя было бы круто

Как чинить Simplifier ticks exhausted?

https://ghc.haskell.org/trac/ghc/ticket/10527 ?

между прочим @lonokhov репортил

поставил 200, помогло 🤷‍♀️

но хотелось бы выяснить что же там его триггернуло и починить

ухты

Парни в рабочем чатике подбросили must-have расширение для браузеров: https://octolinker.github.io

https://twitter.com/stacylondoner/status/991903822229397504

о!

он наверно для gitlab не работает...

Есть кто-нибудь отсюда на flatMap(Oslo)?

Интересно, как он пониает где root.

"uncaught exception: ErrorCall (Prelude.read: no parse)" он даже не может сказать в какой строке это произошло (в файле с тестами несколько ридов и чёт хз в каком пошло что-то не так)

@graninas нормально для haskell работает?

особенно cross-package

@graninas нормально для haskell работает?

Потыкал его на своих pet-проектах. Со стековской структурой проекта работает хорошо. Дальше пока не тестил

Парни в рабочем чатике подбросили must-have расширение для браузеров: https://octolinker.github.io

Data.HashMap.Strict не смог

стековая структура проекта это что?!

стековая структура проекта это что?!

stack.yaml в руте очевидно

)

о прикольно, для части вещей на hackage прыгает

для base похоже только

Ага

Пилите PRы :)

+ по проекту

ну лучше чем ничего

у меня временной слот занят cabal-ом

мне 1 liner patch туда послать надо

и потом ещё парочку

аааа

у меня есть Builder, но который не Monoid

и мне это не нравится, и я не знаю что делать

чем может выстрелить в ногу определение Semigroup.(<>) через mappend?

ничем если все законы выполняются

собсветнно поэтому Semigroup => Monoid

что Semigroup.<> = Monoid.mappend

вроде бы видел где-то предостережение о подобных "бэкпортах". что в каких-то случаях может зациклиться

если Mappend определен через <>

instance Semigroup A where <> = mappend instance Monoid A where mappend = <>

ну или через какие-то другие функции определенные через <>

ну это не. у меня как раз есть куча инсансов для которых заб{и|ы}ли сделать полугруппу