Size: a a a

2021 March 26

к

кана in Haskell
потому что инстанс моноида для Sum требует число
источник

к

кана in Haskell
источник

к

кана in Haskell
у тебя кстати прикол написан
источник

к

кана in Haskell
снова скобки забыл
источник

к

кана in Haskell
и используется не инстанс моноида для Sum а инстанс моноида для (a -> Sum a)
источник

к

кана in Haskell
(,) Sum 5 это (Sum, 5)
источник

к

кана in Haskell
а ты хотел (,) (Sum 5) или (Sum 5,)
источник

к

кана in Haskell
[BRM]White Rabbit
А почему b должно быть числом?..
а, тут кстати b требует число не из-за инстанса моноида, это я наврал
источник

к

кана in Haskell
а потому что 5 он вывел как Num b => b
источник

к

кана in Haskell
что вообще-то странно, я бы ожидал что в ghci он по дефолту до Integer сведет
источник

[

[BRM]White Rabbit in Haskell
Я скобки забыл, да?
источник

к

кана in Haskell
да
источник

[

[BRM]White Rabbit in Haskell
Скобки - зло!
источник

к

кана in Haskell
ну вот тут пример без скобок для аргумента, только для кортежа
источник

к

кана in Haskell
Переслано от кана
а ты хотел (,) (Sum 5) или (Sum 5,)
источник

к

кана in Haskell
источник

Y

Yuuri in Haskell
кана
что вообще-то странно, я бы ожидал что в ghci он по дефолту до Integer сведет
Он сводит в вещах вроде show 5
источник

к

кана in Haskell
ага, понял, то есть пока не нужен конкретный инстанс, он не будет его выбирать
источник

Y

Yuuri in Haskell
[BRM]White Rabbit
Скобки - зло!
Твоё сообщение оскорбляет чувства лисперов
источник

[

[BRM]White Rabbit in Haskell
кана
Переслано от кана
а ты хотел (,) (Sum 5) или (Sum 5,)
я хотел дойти до типа ((,) а), если честно. Ну и да, я зря с моноидами мучался, потому что не так сигнатуру понял
источник