Bu haskell kodunda yıldız ne anlama geliyor?

Question

Bu kodu unm-hip paketinde buldum. Yani Pixel bir işlev midir?

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

Standart Haskell'in bir uzantısı olarak "türler" ile ilgilenebilirsiniz. Çeşitler, tür ve tip kurucular için çok temel bir tip sistemdir. Tür *, Int gibi basit bir türüdür. Tür * -> *, bir tür alır ve bir tür verir, Maybe gibi bir tür kurucu: bağımsız değişken olarak Int gibi bir tür geçirin ve Maybe Int türünü alırsınız.

Bu kodda kullanılan diğer uzantı (ilk önce, girinti kaybolduktan sonra fark etmediğim) ilişkili türlerdir. Standart Haskell'deki bir yazım türü, türün desteklemesi gereken bir dizi işlevi belirleyebilir. İlişkili tiplerle, ek olarak türle ilişkilendirilmiş tipler ve tip kurucular da belirtebilir. Burada

bu Imageable bir örneğini (yani bir görüntü gibi davranır) bir tip i ilişkili bir piksel türü Pixel i olması gerektiği anlamına gelir, ve bu basit bir tür (tür *), bir tip kurucu olmalıdır.

Answer 2

"Yani Pixel bir işlev midir?"

Piksel, tür düzey bir işlevdir. Tek bir tür alır (Görüntülenebilir bir örneği olmalıdır) ve bir tür '*' döndürür. Örnek koddaki kullanımlarına dayanarak, giriş tipi de '*' olmalıdır. Yani, Pixel belki de çok gibi Belki de her ikisi de "tip kurucu" türler. "* -> *", onlara "basit bir tip" sağlarsınız ve "basit bir tür" döndürürler. Aynı lokasyonlarda da geçerlidir. Tıpkı 'Foo -> Belki' türünde bir fonksiyona sahip olamayacağınız gibi, 'Bar -> Piksel' türünde bir fonksiyona sahip olamayacaksınız.