«monads» etiketlenmiş sorular

Kısa bir süre önce Haskell'e baktığımızda, bir monadın esasen ne olduğu hakkında kısa, özlü ve pratik bir açıklama ne olurdu ? Karşılaştığım açıklamaların çoğuna erişilemez ve pratik detaylardan yoksun buldum.

1415 haskell  functional-programming  monads  terminology 

Bir OOP programcısının (herhangi bir işlevsel programlama arka planı olmadan) anlayacağı anlamıyla, monad nedir? Hangi sorunu çözüyor ve en yaygın kullanıldığı yerler hangileri? DÜZENLE: Aradığım anlayışı açıklığa kavuşturmak için, diyelim ki monadları olan bir FP uygulamasını bir OOP uygulamasına dönüştürdüğünüzü varsayalım. Monadların sorumluluklarını OOP uygulamasına taşımak için ne yapardınız?

743 oop  functional-programming  monads 

Aşağıdakileri ilk kim söyledi? Bir monad, endofunktörler kategorisinde sadece bir monoid, sorun nedir? Ve daha az önemli bir notta, bu doğru mu ve eğer öyleyse bir açıklama yapabilir misiniz (umarım çok fazla Haskell deneyimi olmayan biri tarafından anlaşılabilir)?

723 haskell  monads  category-theory  monoids 

Kapalı . Bu sorunun daha fazla odaklanması gerekiyor . Şu anda cevapları kabul etmiyor. 3 yıl önce kapalı . Kilitli . Bu soru ve cevapları kilitlidir çünkü soru konu dışıdır, ancak tarihsel önemi vardır. Şu anda yeni yanıtları veya etkileşimleri kabul etmiyor. Özellikle Haskell'de büyük fonksiyonel programlar tasarlamak / yapılandırmak …

565 haskell  functional-programming  monads  large-scale 

Ben EnumeratorTve karşılık gelen varsa ben IterateeTbirlikte çalıştırabilirsiniz: val en: EnumeratorT[String, Task] = EnumeratorT.enumList(List("a", "b", "c")) val it: IterateeT[String, Task, Int] = IterateeT.length (it &= en).run : Task[Int] Numaralandırıcı monad, yineleme monadından "daha büyük" ise, yinelemeyi eşleştirmek için yineleyiciyi " upveya daha genel Hoistolarak" kullanabilirim: val en: EnumeratorT[String, Task] = …

445 scala  monads  scalaz  enumerator  iterate 

Terimin gördüğüm Ücretsiz Monad açılır her şimdi ve sonra bir süre, ama herkes sadece / kullanmak ne olduklarını bir açıklama vermeden bunları tartışmak gibi görünüyor. Peki: ücretsiz monadlar nelerdir? (Monad'lara ve Haskell temellerine aşina olduğumu söyleyebilirim, ancak kategori teorisi hakkında çok kaba bir bilgiye sahibim.)

368 haskell  monads  free-monad 

Benim düşünceme göre, ünlü "Monad nedir?" özellikle de en çok oylananlar, monad'ların neden gerçekten gerekli olduğunu açıkça açıklamadan bir monadın ne olduğunu açıklamaya çalışın . Bir sorunun çözümü olarak açıklanabilirler mi?

366 haskell  monads 

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 

Bugünlerde monadlarla ilgili çok fazla konuşma var. Birkaç makale / blog yazısı okudum, ancak kavramını tam olarak kavramak için örnekleriyle yeterince ileri gidemiyorum. Bunun nedeni, monad'ların işlevsel bir dil kavramı olmasıdır ve bu nedenle örnekler, üzerinde çalışmadığım dillerdedir (derinlemesine fonksiyonel bir dil kullanmadığım için). Sözdizimi makaleleri tam olarak takip edecek …

190 c#  c#-3.0  lambda  monads 

Haskell'deki saf olmayan hesaplamaların neden monad olarak modellendiğine dair bazı işaretler verebilir mi? Demek istediğim monad sadece 4 operasyonlu bir arayüz, peki yan etkileri modellemenin mantığı neydi?

172 haskell  functional-programming  monads 

Okur monad çok karmaşık ve işe yaramaz görünüyor. Java veya C ++ gibi zorunlu bir dilde, yanılmıyorsam okuyucu monad için eşdeğer bir kavram yoktur. Bana basit bir örnek verip bunu biraz netleştirebilir misin?

122 haskell  monads  reader-monad 

Her biri bir istisna ile başarısız olabilecek üç (veya daha fazla) hesaplama yöntemim olduğu bir durumu düşünün. Başarılı olan bir hesaplama bulana kadar her hesaplamayı denemek için aşağıdakileri yapıyorum: double val; try { val = calc1(); } catch (Calc1Exception e1) { try { val = calc2(); } catch (Calc2Exception e2) …

114 c#  design-patterns  try-catch  monads 

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 

Kapalı. Bu soru Yığın Taşması yönergelerini karşılamıyor . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek mi istiyorsunuz? Yığın Taşması için konuya uygun olması için soruyu güncelleyin . 4 yıl önce kapalı . Bu soruyu geliştirin Çok sayıda işlevsel deyim vardır: monadlar, uygulamalar, oklar, vb. Farklı makalelerde belgelenmiştir ancak maalesef …

106 scala  haskell  functional-programming  monads 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Neden esasen aynı şeyi yapan üç farklı işleve sahibiz?

102 list  haskell  monads  redundancy  functor