Haskell'de ne ((->) t) ne anlama geliyor?

Question

Haskell'de, ((->) t) örneklerin tip imzasında ne anlama geliyor? örnek funktoru, uygulamalı ve Monad için tüm çizgisinde bir örneği var: Bu tip imza ne anlama geldiğini herhangi bir açıklama bulamıyorum

Functor ((->) r) 

ve son derece arama motoru dayanıklı bu.

Answer 1

->, infix tipi bir kurucudur. Liste türü için bir infix değeri yapıcısı olan : ile karşılaştırabilirsiniz. Bir önek işlevi uygulama olur, böylece : yalnız bunun parantez koymak kullanmak için:

(:) a ba : b

aynıdır Benzer şekilde, (->) a ba -> b, a den b için bir işlev türü ile aynıdır.

(->) a, tip kurucunun ve kendi türünde * -> * türünde bir tür yapıcının kısmi bir uygulamasıdır.

Bunu "bir işlev türünden bir kurucu" olarak düşünebilirsiniz. Örneğin. (->) IntInt gelen fonksiyonların türlerinin bir yapıcı olduğunu. Başka bir tür geçirerek tam işlev türü oluşturabilirsiniz: (->) Int String, Int - String arasındaki işlevlerin türüdür.

instance Functor (->) a, a -> b işlevini a -> c işlevine dönüştürerek fmap işlevini içeren bir işleçtir.ile, fmap argümanını Right değerlerine uygulayarak Either a b ile Either a c arasındaki haritaları karşılaştırabilirsiniz.

Answer 2

r -> a türünde r'un sabitlendiği tür kümeleri olarak görebilirsiniz.

Bir functor m türünde bir işlevdir, yani a türünde m a türünüz var demektir. Örnekler Maybe, [] ve (->) r bulunmaktadır. İkincisi daha iyi (r ->) yazılmalıdır, ancak izin verilip verilmediğini bilmem gerekir.

Answer 3

Biz lambda fonksiyonları ve infix işlevlerini kullanabilirsiniz:

(->) a = \b -> (->) a b --pseudo-Haskell 
(->) a = \b -> a -> b --pseudo-Haskell 

böylece, hem örneğini okuyun:

class Functor f where 
    fmap :: (a->b) -> f a -> f b 

instance Functor ((->)r) where 
    fmap :: (a->b) -> f  a -> f  b 
     = (a->b) -> (->)r a -> (->)r b --pseudo-Haskell 
     = (a->b) -> (r -> a) -> (r -> b) --pseudo-Haskell