«applicative» etiketlenmiş sorular

Birisine X tipi bir sınıfın ne olduğunu açıklarken, tam olarak X olan veri yapılarına iyi örnekler bulmak için mücadele ediyorum. Bu yüzden aşağıdakiler için örnekler talep ediyorum: Functor olmayan bir tür oluşturucu. Functor olan ancak Uygulayıcı olmayan bir tür oluşturucu. Uygulayıcı olan, ancak Monad olmayan bir tür kurucu. Monad olan …

210 haskell  monads  functor  applicative 

Başvuranlar beste yapar, monadlar yapmaz. Yukarıdaki ifade ne anlama geliyor? Ve ne zaman biri diğerine tercih edilir?

110 haskell  functional-programming  monads  monad-transformers  applicative 

Haskell'in Uygulamalarını öğreniyorum. Görünüşe göre (muhtemelen yanılıyorum) pureişleve gerçekten ihtiyaç duyulmuyor, örneğin: pure (+) <*> [1,2,3] <*> [3,4,5] olarak yazılabilir (+) <$> [1,2,3] <*> [3,4,5] Birisi pureişlevin açık eşleme üzerinde sağladığı faydaları açıklayabilir fmapmi?

19 haskell  applicative 

ApplicativeTypeclass temsil gevşek monoidal fanktorlar o yazdığınız fonksiyonları kategorisine kartezyen monoidal yapısını korumak. Başka bir deyişle, (,)monoidal bir yapı oluşturan tanık kanonik izomorfizmlere bakıldığında : -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) …

9 haskell  functor  applicative  category-theory