Art vs Rang in der Typentheorie
Es fällt mir schwer, Higher Kind vs Higher Rank-Typen zu verstehen. Art ist ziemlich einfach (danke Haskell-Literatur dafür) und ich dachte, Rang sei wie Art, wenn es um Typen geht, aber anscheinend nicht! Ich habe den Wikipedia-Artikel ohne Erfolg gelesen. Kann mir jemand erklären, was ein Rang ist? und was ist mit höherem Rang gemeint? Höherrangiger Polymorphismus? wie kommt das zu kinds (wenn überhaupt)? Scala und Haskell zu vergleichen wäre auch großartig.