data QQ a = QQ a NewFields?

и инстансы для них

или-паттерны таки немного продвинулись (снова попали на обсуждение комитета) https://mail.haskell.org/pipermail/ghc-steering-committee/2018-June/000601.html

а то автор был уже, похоже, на вышеупомянутой границе боли и унижения, которые он мог себе позволить https://github.com/ghc-proposals/ghc-proposals/pull/43#issuecomment-393777358

data QQ a = QQ a NewFields?

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

превращать а object добавлять поля на уровне object

опять типы не натянулись

ну и появился диф вырезающий DPH, вот это убирание экстеншона так убирание. хотя им никто никогда не пользовался, но ради (и первоначально в рамках) этого десятилетнего долгостроя хаскель стал из переэмеля недоомегой, например.

ну и появился диф вырезающий DPH, вот это убирание экстеншона так убирание. хотя им никто никогда не пользовался, но ради (и первоначально в рамках) этого десятилетнего долгостроя хаскель стал из переэмеля недоомегой, например.

на фабрикторе, или вмержили в голову?

не вмерджили еще

может, кстати, и не вмерджат. этот несчастный DPH уже пару раз приговаривали, но так и не удушили

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

> vectorise: Put it out of its misery

натяну типы на задачу, дорого

это ж поидее любой Generic можно сделать Value

тогда я могу сделать что хочу

с Value-то конечно

но я не знаю какие рекорды в какие надо преобразовывать, может это несложно сделать даже и без дженериков

тогда все нормально типизировано будет

натяну типы на задачу, дорого

А задача похожа на глобус?

вот так сработало time :: Lens' _ Time time = _3

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

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

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

я это и имел в виду

а какие безымянные рекорды принято носить с линзами в это врямя суток?

не знаю, нормальных среди них нету даже по меркам таких штук

так что все равно, наверное

самые используемые - винил

есть еще https://github.com/target/row-types

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

вроде bookkeeper и rawr были на слуху недавно

ну и superrecord

вроде bookkeeper и rawr были на слуху недавно

rawr сгнил

ну есть форк пикеринга на гитхабе, но на хекедже его нет

суперрекорд не сортирует

есть еще https://github.com/target/row-types

а это вообще хешмапы вроде

а это вообще хешмапы вроде

не, вроде рекорды и еще есть data-diverse

рекорды, но имплементированы как хешмапы

буккипер современные рекорды (с сортировкой), но мне они в свое время не понравились, правда вроде библиотека живая

и там есть хорошая фича конвертации из обычного рекорда

суперрекорд не сортирует

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

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

ну в rawr был просто максисмум в 8 элементов

до 10 элементов они обычно быстрые

ну и у некоторых либ типа винила или суперрекорда поддержка линз не по умолчанию, т.е. там они все будут r ^. пожалуйстаСделайЛинзу foo

получилось нормально с Буккипером, без пожалуйстаСделайЛинзу

код местами стал понятнее

сообщения об ошибках стали сумасшедшими

• Occurs check: cannot construct the infinite type: old0 ~ type-level-sets-0.8.7.0:Data.Type.Map.Nub ((type-level-sets-0.8.7.0:Data.Type.Set.Sort (type-level-sets-0.8.7.0:Data.Type.Set.Filter 'type-level-sets-0.8.7.0:Data.Type.Set.FMin ("jobs" 'type-level-sets-0.8.7.0:Data.Type.Map.:-> t0 (t1 Work)) (type-level-sets-0.8.7.0:Data.Type.Map.Nub (type-level-sets-0.8.7.0:Data.Type.Set.Sort (old0 type-level-sets-0.8.7.0:Data.Type.Map.:\ "jobs")))) ...

что-то туплю: type Key k = (Eq k, Ord k) get :: (Index.Key ix, Lookup ixs ix) => IxSet ixs v -> ix -> STM [v] get set ik = let idx = getIdx set ik in return [] getIdx :: (Key ix, Key i, Lookup ixs ix) => IxSet ixs v -> i -> Idx v ix getIdx (Empty _) _ = Hole getIdx (IdxSet _ indexes) ik = Lookup Proxy (Proxy :: Proxy ik) indexes говорит Could not deduce (Eq ix0, Ord ix0) arising from a use of ‘getIdx’ from the context: (Index.Key ix, Lookup ixs ix) bound by the type signature for: get :: (Index.Key ix, Lookup ixs ix) => IxSet ixs v -> ix -> STM [v]

почему getIdx натягивается, а get - нет?

Proxy ik?

откуда ik?

getIdx (IdxSet _ indexes) ik = Lookup Proxy (Proxy :: Proxy ik) indexes — здесь значение ik не используется, а тип ik не вводится (да, это разные вещи)

упс, да

getIdx (IdxSet _ indexes) ik = Lookup Proxy (Proxy :: Proxy ik) indexes — здесь значение ik не используется, а тип ik не вводится (да, это разные вещи)

да, я ахинею там написал, везде должно быть i

спасибо

заработало?

код местами стал понятнее

главное — не пришлось писать тип даже локально. начального значения структурки хватило

единственное, что не очень красиво с bookkeeper — приходится писать emptyBook. у Rawr было красивее

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

не удивительно, что ее забросили

заработало?

да, тайпчекается

@catamorphism подсел я на ваш стиль индентации аннотаций. Красиво. handleGetAssetPaths :: TxMonad m n => DataStore n => KatipContext m => HandleT Api.GetAssetPaths m

@catamorphism подсел я на ваш стиль индентации аннотаций. Красиво. handleGetAssetPaths :: TxMonad m n => DataStore n => KatipContext m => HandleT Api.GetAssetPaths m

?

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

тонна бойлерплэйта?

да

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

в буккипере же вся имплементация вообще из другой библиотеки

@catamorphism подсел я на ваш стиль индентации аннотаций. Красиво. handleGetAssetPaths :: TxMonad m n => DataStore n => KatipContext m => HandleT Api.GetAssetPaths m

когда в 2005-ом году рекламировали ФП, то говорили что типы писать не надо, код выглядит как скриптовый. обманывали, конечно.

Ну, типы проще и важнее документации

ну да, но это никак не противоречит неписанию типов

@catamorphism подсел я на ваш стиль индентации аннотаций. Красиво. handleGetAssetPaths :: TxMonad m n => DataStore n => KatipContext m => HandleT Api.GetAssetPaths m

Красиво, но расстраивает, что с => начинаются как констрейнты, так и первый аргумент <_<

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

Красиво, но расстраивает, что с => начинаются как констрейнты, так и первый аргумент <_<

это Хаддок вынуждает

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

в емаксе я жму C-u-c-t и тип топ-левельной функции вставляется сам.

топлевельной

для всего остального аннотации редко нужны

если конечно у вас не линзо-шайтан

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

а где не линзо-шайтан и без типов все понятно

короче как обычно, там где надо - как раз и не будет

ну если у вас where на экран то конечно

а зиллион тривиальных сигнатур заставит Wall проставить

Красиво, но расстраивает, что с => начинаются как констрейнты, так и первый аргумент <_<

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

а меня не обламывает =>

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

@catamorphism а у вас стайлгайд есть где-нибудь на посмотреть?

вообще мне не нравится вот эта вот культура аннотирования всего топлевельного полностью. лучше бы была культура частичного аннотирования там где надо

особенно сейчас когда куча сигнатур плохо читается, т.е. сложнее чем код

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

А в этих ваших недоide есть фича "нажал на кнопку и появляется аннотация"?

Хотя бы топлевельная

гхц-мод вроде так умеет

а он работает с новыми компиляторами?

А в этих ваших недоide есть фича "нажал на кнопку и появляется аннотация"?

да

можно и тип какого-то куска кода посмотреть

это все работает не блестяще, конечно

а он работает с новыми компиляторами?

автор hie фактически поддерживает форки ghc-mod для новых версий