AA
без параметрического полиморфизма чтоль?
Size: a a a
2021 January 06
AA
ну можно еще на ГАДТ (синглетонах) вместо инстансов
AA
а типы матчить нельзя, только на тайплевеле где forall на самом деле не forall, а прости господи, foreach
MK
а как вообще линзами собирать какие-то комплексные структуры-то, не могу понять, чтобы линзы эффективно джойнились
> хаскель
> эффективно
> эффективно
JS
что можно сделать, чтобы Hackage снова стал собирать загружаемые на него пакеты?
ЖК
newtype Foo = Foo Int
foo = coerce (+3) :: Foo -> Foo
ЖК
Почему GHC не может вывести
3 :: Int если я не укажу этого явно?ЖК
Couldn't match representation of type `Integer` with that of `Int` arising from a use of `coerce`
JS
Почему GHC не может вывести
3 :: Int если я не укажу этого явно?не из чего это выводить. coerce потенциально к вообще любым типам применим
ЖК
И в случае
Он не может вывести тип
foo = coerce (+ (3 :: Int)) (Foo 15)Он не может вывести тип
coerce (+ (3 :: Int)JS
И в случае
Он не может вывести тип
foo = coerce (+ (3 :: Int)) (Foo 15)Он не может вывести тип
coerce (+ (3 :: Int)здесь аналогично. любой тип может быть на входе и любой тип на выходе