Пользователь 629ac

До меня внезапно дошло: в Haskell нет приватных модулей? ну допустим я пишу public_func = let a = a_lot_of_lines_of_private_nested_code in my_simple_business_logic a и хочу о...

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

а зачем в api либы детели реализации? ну да, а в чем проблема

такой вопрос: есть ли некий стандартный констрейнт (тайп-класс), декларирующий что один тип конвертируется некой функцией оного тайп-класса в другой?

такой вопрос: что считается хорошей практикой для валидации? Линзы + MonadThrow (EitherT) достаточно ок, или есть более устоявшиеся подходы?

стало интеросно, можно ли в Haskell объявить абстрактный тип-синглтон? Т.е. некоторый (не известный в текущем модуле) тип, для которого известно, что он населён только(!) одни...

> Взамен мы просто пользовались ADT с небольшим количеством простых линз. А как быть с expression problem и всеми теми больными местами хорошо расписаными в статейке о superre...

не могу согласиться, увы. А если строки длинные, например? Или паттерны длинные? Где-то выравнивать, а где-то — нет? Уже не универсально, а значит усложненно.

BTW, есть ли способ узнать как часто ghc разворачивает методы инстансов тайпклассов в мономорфизм, а когда использует что-то вроде таблиц методов в рантайме?

пытаюсь понять, что имеется в виду, не выходит. интерфейсы можем наследовать тайп-классами номинально, реализацию рядным полиморфизмом — структурно... Чего именно нехватает? ...

Но так-то для записей приня-то ли что-либо хорошим стандартом де-факто? скорость доступа, скорость компиляции, OverloadedLabels и Generic инстанс...

а first-class модули когда? А скоупы неймспейсяв? А dot-нотация для записей и отключение генерации методов-аксессоров? Хотеть-хотеть 🤗

разве после @ оно не воспринимается как паттерн? Имя тут _x но оно мне не нужно. Вопрос как паттерн поля сделать анонимным.... Гварды, только так? Несколько неуклюже будет. Би...

Вопрос: что сейчас модно для final-tagless/free-monads использовать (есть ли хорошие либы вроде ZIO скаловской)? Цель: eDSL+DI, удобство менеджмента эффектов вторично.

Есть ли способ в servant хранить state в StateT между запросами? В гайде советуют MVar, но это как-то костыльно, вроде как.

beam vs opaleye vs selda vs squel, еще hasql да hssqlppp ...Хз что порекомендуете? да, в идеале простенькую поддержку plsql было бы здорово

Это нормально что я пишу lift $ lift $, или я что-то делаю не так?

Есть ли дефолтный typefamily constraint проверять вхождение элемента или тайп-левел списка в тайп-левел список? Для чего нужно: row-type полиморфные функции писать.

в blaze-html может помнит кто сходу как пустые таги делать типа <div bla-bla-bla .../>, не пару открытый-закрытый с пустой строкой? Или оно так понимает?

а так чтобы она имплиситно импортилась? =)