Mam sytuacji, gdy trzeba metodę, która może wziąć w rodzaju: Array[Int]
Array[Array[Int]]
Array[Array[Array[Int]]]
Array[Array[Array[Array[Int]]]]
etc...
nazwijmy ten typ RAI dla „rekurencyjnego
Moje typy danych będą zawsze mieć co najmniej dwa parametry, a dwa ostatnie parametry są zawsze „q” i „m”, odpowiednio: {-# LANGUAGE TypeFamilies, FlexibleContexts, UndecidableInstances, TypeOperators
Obecnie jestem w Chapter 8 z Learn you a Haskell i dotarłem do sekcji na typeclass Functor. W tej sekcji autor podaje przykłady, jak różne typy mogą być tworzone wystąpienia klasy (np. Maybe, niestand