превращать а 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 проставить

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

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

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