monads

6ısı

1cevap

Scala'nın monadik zincirleme deneyini deneyin

Monadik kavrayışları kullanarak aşağıdaki f, g ve h işlevlerini göz önünde bulundurun. f, g ve h tüm imzaya sahip for { x <- List (11, 22, 33, 44, 55) y <- f (x) z <- g (y) a <- h

6ısı

2cevap

Haskell: Monads of monad

Bazı Haskell öğreniyorum ve bu Monad'larla ilgili bir sorunum var, onlar hakkında anladım ve neyle ilgili olduklarını biliyorum ama bu özel durumda bazı sorunlarım var. varsayarsak, : LYAH üzerinde öğ

12ısı

1cevap

Haskell `forever` tip imza Haskell'de

neden forever forever :: Monad m => m a -> m b tipi-imza Spesifik neden sadece :: Monad m => m a -> m a değildir? Elbette hareket ettiğimiz monad tipi, forever aracılığıyla yarı yolda değişmiyor mu?

11ısı

1cevap

`MonadBaseControl` API

ile Çalışıyorum Şu anda Bryan O'Sullivan'ın resource-pool kitaplığında çalışıyorum ve withResource işlevini genişletmeyle ilgili bir sorum var. (MonadBaseControl IO m) => Pool a -> (a -> m b) -> m b'd

13ısı

1cevap

Scala State monad - farklı durum türlerini birleştiriyor

Başımı State monad'ın etrafına doyorum. Önemsiz örnekler anlamak kolaydır. Artık alan nesnelerinin kompozit olduğu gerçek bir dünyaya geçiyorum. Örneğin, aşağıdaki alanı nesneleri (onlar çok mantıklı,

5ısı

3cevap

zorunlu döngü

Haskell'deki monad sistemini anlamaya çalışıyorum. Önceki programlama deneyimimin yaklaşık% 80'i C'dedir, ancak ironik olarak Haskell'in zorunlu kısmı anlamak en zor olanıdır. Liste manipülasyonu ve t

39ısı

1cevap

Uygulamalı

Ben yeni monad tanımlamaya çalışıyorum ve garip bir hatayı newmonad.hs newtype Wrapped a = Wrap {unwrap :: a} instance Monad Wrapped where (>>=) (Wrap x) f = f x return x = Wrap x main

11ısı

1cevap

GHCI neden bir hatadan sonra "sıkışmış" durumda hata yapıyor?

Öncelikle tanımlayıcı olmayan başlık için özür dilerim. Aslında neler olup bittiğine dair hiçbir fikrim olmadığı için, onu daha spesifik yapamam. Sorularım için şimdi. *Main> rndSelectIO' "asdf" 2 >>=

7ısı

1cevap

Bir monad'ı diğerine çağırmanın temiz bir yolu nedir?

Burada monadları birbirine yapıştırma sorunu var. Yığın formunda değil, fakat operasyonu başka bir kişinin içinde çalıştırmak için bir monadın açılmasına ihtiyaç duyulduğunda. İki etki alanı: Web günl

5ısı

2cevap

Bu sıra tabanlı oyunda Reader monadını kullanmak doğru mu?

Reader monadını kullanmayı öğrenmem gerekiyor. (Ve ayrıca Yazar ve Devlet). Oyun-yarışmaları her zaman Oyun boyunca geçerli olan global parametrelerden oluşur. Ve sadece bir Dönüş sırasında geçerli ol