KV
И другие участники
Ок
k, потому что мало ли, вдруг там TYPE 'UnliftedRep или еще какая дичь. Вот только почему тогда standalone kind signature работает... Бред в общем какой-тоSize: a a a
2020 November 25
AA
я пришел к выводу, что GHC пытается быть умным и не выводить кайнд
а че бы ей не работать, там-то ниче не надо выводить?
R
а че бы ей не работать, там-то ниче не надо выводить?
ну там
forall k -> k -> Type, а в моей inlined версии, которая не работает:type family Foo k (a :: k) :: TypeКакая тут блин разница.
AA
кстати, там же не нужна вся эта перхоть в самой фемели можно же просто Foo k a ?
ХГ
вопроса не понял ... все это кто ) . а где хаскель нужен ? 2.5 вакансии
Поделитесь пожалуйста авой в хайрезе, у меня такой нет.
AA
если стендалон сигнатура в смысле
R
кстати, там же не нужна вся эта перхоть в самой фемели можно же просто Foo k a ?
да, не нужна
SL
Поделитесь пожалуйста авой в хайрезе, у меня такой нет.
ава в хайрезе утеряна за давностью лет )
SL
она не гуглится, т.к. собственного производства
AA
ну там
forall k -> k -> Type, а в моей inlined версии, которая не работает:type family Foo k (a :: k) :: TypeКакая тут блин разница.
разница может в том, что в Foo k (a :: k) чтоб определить что k это кайнд это надо вывести, а в forall k -> k это синтаксически указано?
AA
ну да
R
разница может в том, что в Foo k (a :: k) чтоб определить что k это кайнд это надо вывести, а в forall k -> k это синтаксически указано?
М, да
2020 November 26
MK
какой смысл в определении "strong monad", если
или в теоркате нельзя?
strength :: (a, m b) -> m (a, b) можно выразить через bind и конструктор пары?или в теоркате нельзя?
MK
хорошо, почему вообще все монады мира не strong?
MK
чего не хватает в определении (T, eta, mu) чтобы сделать strength?
к
хорошо, почему вообще все монады мира не strong?
ну как минимум не все категории являются моноидальными
MK
а если мы в CCC?