AK
то есть где-то
Foo X Y, а где-то Foo Z YSize: a a a
2019 June 04
AK
и все в одной мапе
AK
или такие не могут лежать в одной мапе?
VY
в определении типа
DifferentFoos вы делаете утверждение (накладываете ограничение), что DifferentFoos это враппер для Map, в котором ключами являются все такие Foo c d, которые работают на любом cVY
не уверен, что я правильно объясняю и как правильно нужно это объяснять
KV
потому что читаю
forall c. как "для любого C, в том числе и конкретного"Так это значит, что надо предоставить для любого c, а не для конкретного
AK
не уверен, что я правильно объясняю и как правильно нужно это объяснять
похоже, что правильно, потому что понимаю)
AK
типа если я сказал что "для всех
c", то это значит "для всех c" и во всех вложенных/зависимых типахVY
можно попробовать прочитать этоhttps://ocharles.org.uk/guest-posts/2014-12-18-rank-n-types.html
KV
Да просто в типе
(Map String (forall c. Foo c d)) написано, что значения - это функции (на уровне типов), которые принимают любой c и возвращают Foo c d для какого-то dKV
Соответственно, там и должны быть такие функции, а не конкретные значения
VY
да, т.е.
(как у вас в
а вот
d может быть конкретный(как у вас в
myFoo :: Foo X Y — d это Y),а вот
c — любойAK
Так, ещё лучше, спасибо вам!
AK
можно попробовать прочитать этоhttps://ocharles.org.uk/guest-posts/2014-12-18-rank-n-types.html
И это почитаю
AK
Но
d получается, конкретный для всего мапа, то есть у всех значений (функций) в мапе должен быть один и тот же d (здесь — Y)?VY
да, потому что
DifferentFoos d, это как бы ф-ция на уровне типов: DifferentFoos d = как бы говорит "дай мне d и я верну тебе конкретный тип для этого d"AK
да, теперь понимаю, и логично, что нельзя класть в
Map значения с разными c, как и нельзя класть значения просто различных типов.VY
но можно сделать так, чтобы было можно
AK
Так, прошу раскрыть секрет)
VY
ну вот как тут https://wiki.haskell.org/Existential_type
например, определить класс какой-то, вот как там с примером
например, определить класс какой-то, вот как там с примером
Renderable