Bir functor olmadan uygulama

Question

Temelde bir c-dizi float olan bir tür Image var. , map :: (Float -> Float) -> Image -> Image veya zipWith :: (Float -> Float -> Float) -> Image -> Image -> Image gibi işlevler oluşturmak kolaydır. Bununla birlikte, ((+) <$> image1 <*> image2) veya ((\x y z -> (x+y)/z) <$> i1 <*> i2 <*> i3) gibi daha esnek piksel seviyesi manipülasyonlarına izin vererek, bu işlevlerin üzerine uygulamalı bir örnek gibi görünen bir şey sağlamanın da mümkün olacağını hissediyorum. Ancak, naif yaklaşım başarısızdır, çünkü görüntü tipi, şamandıralardan başka şeyler içeremez, bu nedenle fmap'u uygulamak imkansız hale gelir.

Bu nasıl uygulanabilir?

Answer 1

Yorumları okuyarak, buradaki halının buranın altında olduğundan biraz endişeliyim. Boyut uyuşmazlığı olduğunda mantıklı bir davranış var mı?

Bu sırada, aşağıdaki satırlarda mantıklı bir şekilde yapabileceğiniz bir şey olabilir. Dizileriniz polimorfik yapmak için kolay olmasa bile, bunun gibi bir Applicative örneğini oluşturabilirsiniz.

data ArrayLike x = MkAL {sizeOf :: Int, eltOf :: Int -> x} 

instance Applicative ArrayLike where 
    pure x     = MkAL maxBound (pure x) 
    MkAL i f <*> MkAL j g = MkAL (min i j) (f <*> g) 

(Meraklılar I (maxBound, min) Monoid tarafından uyarılan bununla (Int ->) uygulamalı ürününü geçtiniz dikkat edecektir.)

Temiz yazışmalar yapabilir misiniz

imAL :: Image -> ArrayLike Float 
alIm :: ArrayLike Float -> Image 

projeksiyon ve tablolama ile? Eğer öyleyse, böyle bir kod yazabilirsiniz. Daha sonra, aşırı yüklenmiş bir operatörü olarak

imapp :: (Float -> ... -> Float) -> (Image -> ... -> Image) 

o deseni tamamlamayı istiyorsanız

alIm $ (f <$> imAL a1 <*> ... <*> imAL an) 

Ayrıca, typeclass programlamada standart bir egzersiz! (Daha fazla ipucuna ihtiyacınız varsa sorun.)

Buradaki en önemli nokta, ambalajlama stratejisinin, üst yapı üzerinde fonksiyonel üstyapı koymak için dizi yapılarınızla birlikte maymun yapmanıza gerek olmadığı anlamına geliyor.

Answer 2

Görüntüdeki piksellerle işlem yapmayı nasıl beklersiniz? Yani, ((+) <$> image1 <*> image2) için, Haskell'deki tüm işlemleri gerçekleştirmek ve yeni bir sonuç görüntüsü oluşturmak mı istiyorsunuz, yoksa tüm işlemleri yapmak için C işlevlerini çağırmanız mı gerekir?

Bu eskiyse, domuz işçilerinin yanıtı benim alacağım yaklaşım.

Bunun yerine, tüm görüntü işlemlerinin C ile ele alınması gerekiyor, bu işlemleri göstermek için küçük bir DSL oluşturmaya ne dersiniz? Eğer & sürekli etki alanını sonsuz için Float gelen "piksel" türü genellemek ve sonlu & ayrık alanı (diziler) uzanmaktadır eğer

Answer 3

Sen çok daha kompozisyon Image türü alırsınız. Bu genelleştirmelerin bir gösterimi olarak, Functional Images numaralı kağıda ve ilgili (sonlu örnekleme) example images galerisine bakın. Sonuç olarak, Monoid, Functor, Applicative, Monad ve Comonad örneklerini olsun. Kağıt Denotational design with type class morphisms tarif edildiği gibi Ayrıca, bu örneklerin anlamları tamamen semantik tip sınıfı Morfizm ilkesini, tatmin edici fonksiyonlar için karşılık gelen örnekleri tarafından belirlenir. Bu makalenin 13.2. Bölümü görüntüleri kısaca tanımlar.