What is the assumption made in “Learn You a Haskell” when deducing the kind?

前端 未结 2 1801
醉话见心
醉话见心 2021-02-18 22:52

This question is not subjective. A very specific verb is used in the referenced book, and I\'d like to understand what the implication of that phrasing is, because I\'m afraid I

2条回答
  •  梦毁少年i
    2021-02-18 22:57

    In fact, the compiler does assume! But you can ask it not to with the PolyKinds extension. You can read about it in more detail here. With that extension turned on, the kind of Barry will be forall k. (k -> *) -> k -> * -> *.

提交回复
热议问题