Телеграмм чат группы haskellru страница 14828

А я типа этого так не знаю?

19:11пожаловаться #1

lookupInput "token" m

19:11пожаловаться #2

Kirill Valyavin

Лень дефункционализировать руками или какие-то ещё ессть причины?

некоторые структурки включают в себя функции

19:11пожаловаться #3

например Iso описать как пару функций и два пруфа

19:12пожаловаться #4

Maxim Koltsov in Haskell

Alexander Vershilov

А я типа этого так не знаю?

А если ты аппликативом собираешь структуру?

19:12пожаловаться #5

и сделать функцию которая работает с любым iso

19:12пожаловаться #6

или сортировку обобщить до любого полного порядка

19:12пожаловаться #7

а не только на натах

19:12пожаловаться #8

а так получается какой-то го, ток без функций вместо генериков

19:12пожаловаться #9

Maxim Koltsov

А если ты аппликативом собираешь структуру?

Напишу нужную ошибку причём скорее всего типизированную

19:13пожаловаться #10

Kirill Valyavin in Haskell

А, т. е. хочется не просто частично применённые фемили, а вообще полноценные термы в типах

19:13пожаловаться #11

У меня были такие хорошие комбинаторы, теперь новые писать 🙁

19:13пожаловаться #12

Kirill Valyavin

А, т. е. хочется не просто частично применённые фемили, а вообще полноценные термы в типах

да

19:13пожаловаться #13

Maxim Koltsov in Haskell

Alexander Vershilov

Напишу нужную ошибку причём скорее всего типизированную

В смысле? Это было сделано чтобы в инстансе формдаты парсить рекорды

19:14пожаловаться #14

но частично примененные тайпфемели тоже подойдут, просто все лямбды уйдут на топевел

19:14пожаловаться #15

Maxim Koltsov

В смысле? Это было сделано чтобы в инстансе формдаты парсить рекорды

ниудобно заделали

19:14пожаловаться #16

но сейчас и так нельзя

19:14пожаловаться #17

Maxim Koltsov in Haskell

Патчес велком

19:14пожаловаться #18

breaking changing api

19:14пожаловаться #19

В общем имхо базовая функция с maybe и обёртка с either было бы получше