А если обмазаться типотой и генератой — будет тяжко

Вон, у Сноймана, наверное, всё ок с RIO

кстати, если кому мало -Wall, добавляйте -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints

Русские хакеры взломали не только американские выборы, но и Столлмана?

надышался в помещении, в котором было сильно назиговано

эта чтоли? https://www.programmer-books.com/haskell-high-performance-programming/ PACKT мусорное издательство имхо

помогите с лайфтаймами разобраться

Молодец Tux, красиво линк оформил(а)

Это мне?

https://gist.github.com/graninas/c7e0a603f3a22c7e85daa4599bf92525

ненене - все проще - лук хир https://code.visualstudio.com/docs/remote/remote-overview

Создаешь record, делаешь для него инстанс FromJSON

Там же есть пример

https://t.iss.one/haskellru/212319
Misha Puzanov:
а есть какая-нибудь библиотека, чтобы показывать diff для двух произвольных структур? Задача: есть тест в квикчеке, который падает на относительно нетривиальном assert $ a == b, когда a и b — большие и сильно похожи, простой вывод в терминал не особо помогает

ну я бы ожидал какой-нибудь типа prettyPrintGenericDiff a b

Alexander Vershilov:
gdiff был, не знаю поможет ли

https://hackage.haskell.org/package/gdiff-1.1/docs/Data-Generic-Diff.html

https://hackage.haskell.org/package/gdiff-th

Misha Puzanov:
какой-то он муторный, но я попробую
спасибо!

Зигохистоморфный Препроморфизм:
https://hackage.haskell.org/package/tree-diff

[Forwarded from λeonid Onokhov]
l .~? v = maybe id (set l) v вот такой комбинатор. просто было интересно если есть в линзах

[Forwarded from Aleksei (astynax) Pirogov]
Так ?~ это и делает!

[Forwarded from λeonid Onokhov]
нет. он делает set l (Just v)

[Forwarded from Aleksei (astynax) Pirogov]

λ> justish = maybe id const
λ> (1, 2) & _1 %~ justish (Just 42)
(42,2)

[Forwarded from λeonid Onokhov]
у меня красивше

[Forwarded from Aleksei (astynax) Pirogov]

λ> smthLike p = maybe id const . preview p
λ> (1, 2) & _1 %~ smthLike _Just (Just 42)
(42,2)
λ> (1, 2) & _1 %~ smthLike _Left (Left 42)
(42,2)

[Forwarded from Aleksei (astynax) Pirogov]
А у меня — гибче!

IORef Settings - не самый неудачный паттерн для "горячей" замены настроек

IORef Settings тривиально превращаются в IO Settings

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

class MonadSettings m where askSettings :: m Settings
ваще бест

data SettingsL = AskSettings (Settings -> SettingsL a)