Size: a a a

2020 June 24

AV

Alexander Vershilov in Haskell
типа FooBar' Foo{..} Bar{..} написать можно
источник

AV

Alexander Vershilov in Haskell
Andrey
резoнирует с дoкладoм Дениса (дoшли руки пoсмoтреть)
У меня в коде могут появляться любые фичи, но когда это надо
источник

MK

Maxim Koltsov in Haskell
Alexander Vershilov
типа FooBar' Foo{..} Bar{..} написать можно
хм, синоним совместим с вайлдкардами? и в обе стороны при этом?
источник

MK

Maxim Koltsov in Haskell
или что
источник

AV

Alexander Vershilov in Haskell
Maxim Koltsov
хм, синоним совместим с вайлдкардами? и в обе стороны при этом?
Ага!
источник

MK

Maxim Koltsov in Haskell
вау
источник

MK

Maxim Koltsov in Haskell
вот это поворот
источник

AV

Alexander Vershilov in Haskell
У меня ещё есть тип данных ошибка, ворнинги, ответ, для них тоже паттерн-синонимы были, и можно сказать (и матчить) Ok a, Errors as, Warnings ma w
источник

MK

Maxim Koltsov in Haskell
у меня кстати очень мало сумм
источник

AV

Alexander Vershilov in Haskell
Это не сумма!
источник

MK

Maxim Koltsov in Haskell
и кажется вообще нет мест где я их матчу (кроме аесоновских инстансов)
источник

AV

Alexander Vershilov in Haskell
Т.к. на самом деле может быть и ответ и ошибка и ворнинги одновременно
источник

AV

Alexander Vershilov in Haskell
Ну на самом деле ошибка  + ответ — это _скорее всего_ что-то пошло не так, но формально такое возможно
источник

AV

Alexander Vershilov in Haskell
А ещё сейчас там может приходить запрос на подтверждение действия диалог с кнопочками
источник

AV

Alexander Vershilov in Haskell
И надеюсь я допилю враппер, который ответ из chronicle в такую штуку переводит
источник

AV

Alexander Vershilov in Haskell
Вот а линзы примерно для тогоже
источник

AV

Alexander Vershilov in Haskell
FooBar-у прописываются те же поля, которые есть у Foo и Bar, и если бы код был на линзах, то его бы можно было вообще не менять
источник

MK

Maxim Koltsov in Haskell
и это ты через женерик ленс сделал?
источник

AV

Alexander Vershilov in Haskell
Ну и доп поля "foo" и "bar" для того, чтобы остать внутреннее
источник

AV

Alexander Vershilov in Haskell
Угу
источник