Size: a a a

2020 May 13

AV

Alexander Vershilov in Haskell
И не бизилупиться
источник

AV

Alexander Vershilov in Haskell
или я опять невнимательно код читаю?
источник

AV

Alexander Vershilov in Haskell
Надо будет MR послать если не забуду
источник

A

Andrey in Haskell
а где мoжнo пoсмoтреть матрицу сooтветствия резoлверoв stack LTS с версией GHC/Cabal?
источник

А

Алексей ayaye :)... in Haskell
Andrey
а где мoжнo пoсмoтреть матрицу сooтветствия резoлверoв stack LTS с версией GHC/Cabal?
источник

A

Andrey in Haskell
действительнo!
источник

R:

Ryner :: () -> IO... in Haskell
В typeclass'ах можно сделать опциональную имплементацию функции?
источник

ЗП

Зигохистоморфный Пре... in Haskell
Ryner :: () -> IO ❄️
В typeclass'ах можно сделать опциональную имплементацию функции?
default?
источник

KV

Kirill Valyavin in Haskell
Это, видимо, попытка сделать что-то вроде рекордов с опциональными полями
источник

к

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

к

кана in Haskell
Переслано от кана
пример второго пункта:
источник

к

кана in Haskell
блин все еще Applicative => Monad кажется диким решением неакадемическим
источник

IK

Ilya Kos in Haskell
кана
Переслано от кана
пример второго пункта:
и такое работает?
источник

к

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

IK

Ilya Kos in Haskell
какая-то циклическая зависимость инстансов
источник

к

кана in Haskell
нет никакой зависимости циклоческой, это просто ленивость
источник

к

кана in Haskell
если у f не будет инстанса монады, то и инстанса функтора не будет дефолтной, нужно будет вручную писать
источник

к

кана in Haskell
часто как выше далают с Generic
источник

к

кана in Haskell
class Generic1 f => GenericFunctor f ... some generic shit
gmap :: GenericFunctor f => (a -> b) -> (f a -> f b)

...
default map_ :: GenericFunctor f => (a -> b) -> (f a -> f b)
map_ = gmap
источник

R:

Ryner :: () -> IO... in Haskell
Kirill Valyavin
Это, видимо, попытка сделать что-то вроде рекордов с опциональными полями
Не, тут для другого
источник