free-monad

7ısı

1cevap

Haskell Ücretsiz uygulamasıdır:: sealed abstract class Free[S[_], A] private case class Return[S[_], A](a: A) extends Free[S, A] private case class Suspend[S[_], A](a: S[A]) extends Free[S, A] pri

5ısı

2cevap

bifunctor az sabit tip

sonra sabit bir noktaya yaptıktan sonra funktoru örneğini elde etmek değil nasıl eminim: Fazladan tipi parametresini kabul etmek Mu değiştirirseniz data FreeF f a next = PureF a | FreeF (f next) deriv

6ısı

1cevap

Control.MonadPlus.Free dağıtımsız ücretsiz

VEYA VEYA VEYA VEYA VEYA VEYA VEYA VEYA VEYA VEYA YOL AÇIĞI için mplus ile eşlenen VEYA VEYA karar ağacı oluşturmak için bir EDSL oluşturmak için ücretsiz bir monad kullanmaya çalışıyorum. A AND (B OR

8ısı

1cevap

Serbest monad'i yazdırma

Bir serbest monad'i başka bir monoya çevirebilir, ancak Free f x türünde bir değer verildiğinde, tüm ağacı yazdırmak istiyorum, AST'nin her düğümünü oluşturulmuş başka bir düğümde başka bir düğümde eş

7ısı

1cevap

Scala + Cats

içinde Free Monad'lar ile keyfi ağaçlar kullanma Dilbilgisi için iki farklı yorumu olan bir kitaplık oluşturuyorum: 1) dilbilgisi tarafından tanımlanan dilde dizeler oluşturma dilbilgisi 2) dizeleri a

7ısı

1cevap

Ücretsiz bir proxy trafosu var mı?

Ücretsiz bir proxy transformatörün mümkün olduğunu düşünüyor musunuz? Bu, yalnızca yararlı bulduğum merak değil.

9ısı

1cevap

Serbest (veya daha özgür) monadlarla monadik argümanları alan eylemler nasıl kodlanır?

Çoğu monadic fonksiyonlar saf argümanlar alır ve monadik bir değer döndürür. Ama örneğin, aynı zamanda monadic argümanlar gerektiğini birkaç vardır: mplus :: (MonadPlus m) => m a -> m a -> m a final

5ısı

1cevap

Ocaml'deki genişletme türleri

Ocaml'da'u takip eden ücretsiz bir kitap kütüphanesi yazmaya çalışıyorum ama bir noktada, hoistFree uygulamasında takılıyorum. hoistFree :: Functor g => (forall a. f a -> g a) -> Free f b -> Free g b