«monad» etiketlenmiş sorular

2
“Ücretsiz Monad + Tercüman” kalıbı nedir?
İnsanları , özellikle veri erişimi bağlamında, Tercüman olan Ücretsiz Monad hakkında konuşurken gördüm . Bu örüntü nedir? Ne zaman kullanmak isteyebilirim? Nasıl çalışır ve nasıl uygularım? Ben (örneğin mesaj anladığımız bu veri-erişimden modeli ayıran ilgili olduğunu). Tanınmış Havuz modelinden farkı nedir? Aynı motivasyona sahip görünüyorlar.



3
Bir monad görmenin farklı yolları
Haskell'i öğrenirken, Monad'ın ne olduğunu ve Haskell'de neden monadların önemli olduğunu açıklamaya çalışan birçok dersle karşılaştım. Her biri analojiyi kullandı, bu yüzden anlamı yakalamak daha kolaydı. Günün sonunda, bir monadın ne olduğuna dair 3 değişik görüş ortaya çıktı: 1 görüntüle: Monad bir etiket olarak Bazen bir monadın belirli bir tip …

2
Monadlar miras hiyerarşilerine uygulanabilir (belki tercih edilebilir) bir alternatif midir?
Bir dil-agnostik kullanmak için gidiyorum açıklamasına ilk Monoids anlatan böyle monad'ların: Bir monoid parametre olarak bir tür almak ve aynı tür dönmek fonksiyonların (kabaca) kümesidir. Bir tek hücreli bir alan işlevler (kabaca) bir dizi sarma bir parametre olarak türüne ve aynı ambalaj tipini verir. Bunların tanım değil, açıklama olduğunu unutmayın. …

4
Yan etkileri ele almak için IO monad modelinin yararı tamamen akademik midir?
Başka bir FP + yan etki sorusu için özür dilerim, ama benim için buna cevap veren mevcut bir tane bulamadım. İşlevsel programlama (sınırlı) anlayışım, durum / yan etkilerin en aza indirilmesi ve vatansız mantıktan ayrı tutulması gerektiğidir. Ayrıca Haskell'in bu yaklaşımı bir araya getiriyorum, IO monad, bunu, programın kapsamı dışında …

2
Comonad nedir ve nasıl faydalıdır?
Son zamanlarda Monad'ların nasıl çalıştığı konusundaki bilgilerimi körükledim. Ben de bir kavramı tanıtıldı oldum 'Comonad' olarak tarif edilir, ters bir monadın ikili . Ancak, kafamı etrafına sarmak imkansız. Monad'ları anlamak için kendim için kendi benzetmesini yaptım: Monadlar, 'ifadelerin konveyör bantlarını inşa etmek için bir plan' olarak görülebilir. Yeni bir Monad …



2
Scala Option tipi neden Haskell'de olduğu gibi belki de denilmiyor? [kapalı]
Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 4 yıl önce kapalı . Scala Option tipi neden Haskell'de olduğu gibi belki de denilmiyor? Belki benim için çok daha "anlambilimsel" bir …

4
Fonksiyonel tarzda programlama yaparken, uygulama mantığından geçtiğiniz tek bir uygulama durumunuz var mı?
Aşağıdakilerin tümüne sahip bir sistemi nasıl kurarım : Değişmez nesnelerle saf fonksiyonların kullanılması. Sadece ihtiyaç duyduğu işlevin bir işlev verilerine aktarın, daha fazla değil (yani büyük uygulama durumu nesnesi yok) İşlevler için çok fazla argüman bulundurmaktan kaçının. Fonksiyonlara çok fazla parametrenin aktarılmasını önlemek için, sadece işlevlere parametrelerin paketlenmesi ve paketlerinin …

1
Vadeli İşlemler / Monadlar vs Etkinlikler
Performans etkisinin göz ardı edilebileceği bir uygulama çerçevesinde (maks. Saniyede 10-20 olay), modüller - Etkinlikler veya Vadeli İşlemler / Vaatler / Monadlar arasındaki iletişim için tercih edilen bir araç olarak kullanımı daha sürdürülebilir ve esnek olan nedir ? Sıklıkla söyleniyor, Olaylar (pub / sub, arabulucu) gevşek kuplaja izin veriyor ve …

1
Monadic fonksiyonlarınızda doğrulama ile hata monad'ı kullanmak veya doğrudan bağlantınızda doğrulama ile kendi monad'ınızı uygulamak daha mı iyi?
Kullanılabilirlik / sürdürülebilirlik için daha iyi bir tasarımın ne olduğunu ve topluluğa uymaktan daha iyi olanı merak ediyorum. Veri modeli göz önüne alındığında: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show, Eq) data Category …

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.