A
а чо
bar (x :: TypeOfX) = fmap (V.fromList . fmap (foo . snd)) <$> xSize: a a a
2020 May 27
λ
я бы как-то так написал
λ
а чо
аннотация типа
A
я думал это комментарии, их же удалять можно
DF
Кек
к
это ужасно, я крайне не советую так делать
к
у тебя каждая функция превратится в два определения, и чтобы поправить одну вещь, придется править два места
к
так можно дойти и до уебищных жс-ных практик "одна функция на файл"
YS
два места? (немного не понял)
к
да, сначала тип констрейтов, потом сама функция
YS
да, сначала тип констрейтов, потом сама функция
иногда надо, чтобы эту функцию вызывала другая, тогда придется все констрейнты руками переносить в другую (вызывающую)
YS
если не написать их в одном месте
YS
если я тебя правильно понял
LO
есть одно отличное решение. ну вы понели
к
тогда просто нужно называть эти типы так, чтобы они не выглядили как связь один к одному с функцией, а были общими
к
есть одно отличное решение. ну вы понели
MonadApp?
LO
иерархические фри монады
к
так и думал
YS
тогда просто нужно называть эти типы так, чтобы они не выглядили как связь один к одному с функцией, а были общими
Например?
YS
иерархические фри монады
Я думал в IO всё писать х)