спасибо

не, не знаю даже как с текущими лейблами это сделать

там же генерится fromLabel @ label :: alpha

у тебя alpha из контекста не выводится, и из @label тоже не выводится

[pr|label|] — красиво? (пакет tagged)

хуже чем @"label"

там конечно @["label"] т.к. список, но все равно

мне старая конвертация с proxy# больше нравилась

@qnikst еще маленький вопросик. я сделал в классе метод foo :: forall v vs. KnownSymbol v, In v vs => r vs -> r vs (r -- тип по которому класс), но вызвать его в духе foo @"bar" не выходит а вот если сделать foo :: forall v vs. KnownSymbol v, In v vs => Proxy v -> r vs -> r vs, то получается вызвать foo (Proxy @"bar") констрейнт In просто проверяет, что тип есть в списке

важно, что внутри

<interactive>:1:10: error: • Expected kind ‘[ghc-prim-0.5.1.1:GHC.Types.Symbol] -> * -> *’, but ‘"bar"’ has kind ‘ghc-prim-0.5.1.1:GHC.Types.Symbol’ • In the type ‘"bar"’ In the expression: foo @"bar"

внутри чего?

если ты внутри тела используешь v то не вижу, что не так

функции

ладно, если я к этой штуке еще вернусь, спрошу подробнее

не ожидаю такую ошибку в первом случае

@droptheplot будет жить. Поприветствуем!

А где можно нормально почитать про final и initial? Я так и не понял чем принципиально отличаются гадты и тайпклассы в final tagless Особенно на всяких expr

Типа в одном случае с большой буквы, в другом с маленькой. И что с того?

http://okmij.org/ftp/tagless-final/course/lecture.pdf

Типа в одном случае с большой буквы, в другом с маленькой. И что с того?

в гадт конструктор не добавить

в гадт конструктор не добавить

Это понятно

А почему initial и final то?

так что тогда уж с дататайпс а ля карт сравнивать

прямо в начала пдф-а написано

где-то на первой-второй странице

Спасибо

Гугл почему-то выдаёт на сайте Олега какую-то страничку, где вообще непонятно куда смотреть - просто список статей

это его сайт такой

А где можно нормально почитать про final и initial? Я так и не понял чем принципиально отличаются гадты и тайпклассы в final tagless Особенно на всяких expr

есть такая проблема, которую описал Вадлер 2D проблема (3D это когда еще эффекты) в общем в ооп можно легко добавить новый конструктор, но трудно новый метод в фп наоборот файнал таглесс решает эту проблему (вот как пример mtl)

@maksbotan как вариант я сделал небольшой реп с разными подходами https://github.com/xgrommx/purescript-from-adt-to-eadt

правда на пурсе

в хаскель еще можно всякие gadts, type families, data families

@maksbotan как вариант я сделал небольшой реп с разными подходами https://github.com/xgrommx/purescript-from-adt-to-eadt

Спасибо, и это посмотрю)

Спасибо, и это посмотрю)

есть еще несколько подходов (я позже добавлю)

есть такая проблема, которую описал Вадлер 2D проблема (3D это когда еще эффекты) в общем в ооп можно легко добавить новый конструктор, но трудно новый метод в фп наоборот файнал таглесс решает эту проблему (вот как пример mtl)

Не знал, что экспрешн проблем - это термин от Вадлера

Не знал, что экспрешн проблем - это термин от Вадлера

https://wiki2.org/en/Expression_problem

Википедия говорит, что это так

Не знал, что экспрешн проблем - это термин от Вадлера

http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt

Верю!

@maksbotan как вариант я сделал небольшой реп с разными подходами https://github.com/xgrommx/purescript-from-adt-to-eadt

открыл, нашёл окамл с фигурными скобками закрыл

открыл, нашёл окамл с фигурными скобками закрыл

то ризон) и я сам не в восторге от него

еще уместно спросить, насколько часто expression problem встречатеся где-то, кроме игрушечных примеров

и так ли успешно подходы, хорошо работающие для нее, обобщаются на другие задачи

еще уместно спросить, насколько часто expression problem встречатеся где-то, кроме игрушечных примеров

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

вот mtl же применяет идею final tagless

еще уместно спросить, насколько часто expression problem встречатеся где-то, кроме игрушечных примеров

очень часто

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

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

было бы круто иметь в хаскель открытые типы данных

как вариант и рекорд

в пурсе есть оба, которые делаются через row polymorphism

Народ, а есть единый стиль констант в хаскеле? Как например в си принято их писать с большой буквы или с маленькой k, а потом большими, напр. kCONSTANT = 5 в глобальном скопе

в чей код заглянуть, чтобы нахвататься правильного стиля? Вряд ли Prelude идеален в этом плане?

а большого выбора то и нет. с большой буквы не получится, с разделителями-минусами тоже ) остается снейк_кейс или камелКейс

хотя всякие штрихи` и прочие символы вносят свое разнообразие, это да

Юникодом можно. Константы - на кириллице.

тогда уж жирным

арабской вязью лучше, чтобы никто не разобрался

не, эмодзи лучше

и вязь в терминале показывает некорректно

{-# LANGUAGE UnicodeSyntax #-}?

a, ок

тупая идея

лучше вариант с kCONSTANT

а юникод в листингах оставим для swift playgrounds

Prelude> :set -XPatternSynonyms Prelude> pattern CONSTANT = 42 Prelude> CONSTANT 42 Prelude> case CONSTANT of CONSTANT -> True True

выбор есть

чего делать, в случае когда нужно бы сгенерить инстанс для Aeson но при этом бы навесить доп констреинтов

вот как умные люди поступают, чтобы без дубликации кода многого

чего делать, в случае когда нужно бы сгенерить инстанс для Aeson но при этом бы навесить доп констреинтов

наверное я не так понял вопрос, потому что ответ выглядит слишком простым instance SomeConstr a => FromJSON (F a) where parseJSON = genericParseJSON defaultOptions

не ограничения на значения внутри

типа одно поле больше другого и т.п.

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

т.е. я сделал Structure и ValidatedStructure

первое генерю автоматом

второе как parseJSON x = parseJSON »= \x -> checkAllStuff » pure (coerce x)

ну и для FromJSON с Swagger используются автогенеренные инстансы

было бы круто иметь в хаскель открытые типы данных

сделка с дьяволом это всё

в структуре куда оно вложенно используется ValidatesStructure и coerce

но это как-то закат луны вручную

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

щас посмотрю что в swagger схеме нагенерилось

т.е. я сделал Structure и ValidatedStructure

а validated это просто newtype?

да

второе как parseJSON x = parseJSON »= \x -> checkAllStuff » pure (coerce x)

data A = A { x :: Int, y :: Int } validate :: MonadFail m => A -> m A validate a@(A x y) | x >= y = fail "x should be less than y" | otherwise = pure a instance FromJSON A where parseJSON = validate <=< genericParseJSON defaultOptions

не там хитрая генерация

я да и TH, generic тормоз

т.к. нужно делать свою обёртку куда validate передавать можно скорее всего

https://www.youtube.com/watch?v=o_4EX4dPppA смотрели? что он там говорит?

@A64m_qb0 как в aeson-lens достать в из ключа массив значений все определенного типа

^? "foo" . _Array ???

^? key "foo" . _JSON :: Maybe (Vector Int)

@qnikst ^

прикольно