Co oznacza gwiazda w tym kodzie haskell?

Question

Znalazłem ten kod w pakiecie Unm-Hip. Więc Pixel to funkcja?

class Imageable i where 
    type Pixel i :: * 
    rows :: i -> Int 
    cols :: i -> Int 
    ref :: i -> Int -> Int -> (Pixel i) 
    makeImage :: Int -> Int -> PixelOp (Pixel i) -> i 
    pixelList :: i -> [Pixel i] 
    pixelList i = [ ref i r c | r <- [0..(rows i - 1)], c <- [0..(cols i - 1)]] 

Answer 1

Jako rozszerzenie standardowego Haskella można sobie poradzić z "rodzajami". Rodzaje są rodzajem bardzo podstawowego systemu typów dla typów i konstruktorów typów. Rodzaj * to prosty typ, taki jak Int. Rodzaj * -> * jest konstruktorem typu, który przyjmuje typ i generuje typ, taki jak Maybe: przekazuje go jako typ, taki jak Int, jako argument, a otrzymasz typ Maybe Int.

Drugim rozszerzeniem użytym w tym kodzie (którego początkowo nie zauważyłem, ponieważ utracono wcięcie) są skojarzone typy. Typowa czcionka w standardowym Haskell może określać wiele funkcji, które musi obsługiwać typ. Z powiązanymi typami może dodatkowo określać typy i konstruktory typów powiązane z typem.

tutaj, oznacza to, że typ i to wystąpienie Imageable (to zachowuje się jak obraz) musi mieć powiązany pikseli typu Pixel i i musi być typu prostego (rodzaj *) nie konstruktora typu.

Answer 2

"Czy Pixel jest funkcją?"

Pixel to funkcja poziomu. Zajmuje jeden typ (który musi być egzemplarzem Imageable) i zwraca rodzaj "*". Na podstawie jego użycia w przykładowym kodzie, typ wejścia musi być również rodzaju "*". Pixel jest więc bardzo podobny do Maybe, oba są "typowymi konstruktorami" rodzaju "* -> *", zapewniasz im "prosty typ" i zwracają "prosty typ". Są one również ważne w tych samych lokalizacjach. Podobnie jak nie możesz mieć funkcji typu "Foo -> Może", nie będziesz mógł również mieć funkcji typu "Bar -> Piksel".