0
?
Size: a a a
2021 March 02
0
Гхц чё-т не нравится.
[
certifiable fleece
Жалко
via так и не доработали расширение. Тогда бы вообще красиво было!А чё там обещали в этом вашем via? Ну и да, фолдмап не робит, я не понимаю, чё он от меня хочет
0
А, я зачем-то
' поставил перед [.c
А чё там обещали в этом вашем via? Ну и да, фолдмап не робит, я не понимаю, чё он от меня хочет
0
Спасибо, теперь работает.
c
А чё там обещали в этом вашем via? Ну и да, фолдмап не робит, я не понимаю, чё он от меня хочет
Он хочет от тебя правильного моноида,
Sum в данном случаеc
Будет некрасиво из-за врапинга/анврапинга, а ApplyingVia бы сделал это за тебя
0
Блин, почему в 2021-м году использовать типы в хаскеле всё ещё так больно.
0
Спасибо ещё раз!
[
certifiable fleece
Он хочет от тебя правильного моноида,
Sum в данном случае(если что, я вот только сегодня в обед прочитал главу про data-типы, а про моноиды у меня крайне смутное представление)
[
0xd34df00d
Блин, почему в 2021-м году использовать типы в хаскеле всё ещё так больно.
А где не больно в таком случае?
0
А где не больно в таком случае?
В идрисе не больно.
[
а ну там да, уделал
0
Ещё в агде теоретически не больно, но там меня констрейнт солвер систематически ставит в тупик.
[
В си не больно🌚