Мне трудно понять типы Higher Kind vs Higher Rank. Вид довольно прост (спасибо за это литературе по Haskell), и я раньше думал, что ранг похож на вид, когда речь идет о типах, но, по-видимому, это не так! Я прочитал статью в Википедии...

Я не совсем понимаю, почему это работает: module Records where type Element e = { element :: String, label :: String | e } type Sel = ( value :: Number, values :: [Number] ) type Select = Element Sel в то время как это говорит Cannot unify...

Читал Learn You A Haskell For a Great Good! и есть большие проблемы с пониманием экземпляра и рода. Q1: Значит, тип t в Tofu t действует как функция с доброй сигнатурой (* -> (* -> *)) -> * ? И общий добрый знак tofu - * -> *...

Я пытаюсь понять этот пост в блоге о расширении ConstraintKinds . В разделе комментариев был пост, который я совершенно не понял. Вот: Адам М говорит: 14 сентября 2011 г., 19:53 UTC Вау, это звучит здорово. Планируется ли он стать...