monads

6ısı

1cevap

Karşılıklı yinelemeli sözdizimi Bound ile

Bağımlı olarak yazılan bir lambda hesabı için bir sözdizimi. data TermI a = Var a | App (TermI a) (TermC a) -- when type-checking an application, infer the type of the function and then check t

haskell monads abstract-syntax-tree 2016-08-20

---

5ısı

2cevap

MonadFix örneği []

için, örneğin instance MonadFix [] where mfix f = case fix (f . head) of [] -> [] (x:_) -> x : mfix (tail . f) olarak tanımlanır Ama deterministik olmayan hesaplamalar olarak görü

list haskell monads monadfix 2016-07-03

---

11ısı

1cevap

Kabarcık sıralamasındaki sonsuz döngü Haskell'de geçiş yapılabilir

Tardis monad kullanılarak herhangi bir taşınabilir konteynerin üzerinde bir kabarcık sıralaması uygulamaya çalışıyorum. {-# LANGUAGE TupleSections #-} module Main where import Control.DeepSeq imp

haskell monads lazy-evaluation bubble-sort traversable 2017-11-21

---

6ısı

1cevap

Tuple neden bir Monad örneğine sahip değil?

Farkettiğim bir şey, Tuple'un Monad örneğinin olmamasıydı. Zaten son derece ağır biz Monad örneği olmak yapabilir ne kısıtlar instance Monoid a => Applicative ((,) a) : kayıt düzeni ancak bir Applic

haskell tuples monads 2016-07-16

---

6ısı

1cevap

İstifleme Monad Transformers scala

Bir haskell şekilde scalaz arasında monad transfromers yığını çalışıyorum içinde: statyReader :: (MonadReader Int m, MonadState Int m) => m Int scala: def statyReader[F[_]](implicit r: MonadReader[F

scala haskell monads scalaz monad-transformers 2016-07-21

---

6ısı

1cevap

F # hesaplama ifadesi ne zaman

olarak adlandırılır Kombinasyonu bu düz ileri Maybe monad uygulamak için çalıştı. Bu nedenle, temel ifade Nothing ise, tüm ifade Nothing olarak değerlendirilir. Ben foobar beklenen type Maybe<'a> =

f# monads 2017-05-16

---

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

haskell ocaml monads free-monad 2016-09-10

---

12ısı

2cevap

Travers olabilen, her zaman bir monad ile keyfi bir monadın kompozisyonu mu?

İki tane Monad'ım m ve n ve n geçiş yapılabilirse, mutlaka bir bileşik m -over-n monad'ım var mı? Doğal olarak import Control.Monad import Data.Functor.Compose prebind :: (Monad m, Monad n) =>

haskell monads 2017-02-16

---

8ısı

2cevap

Filtre IO [Belki Dize] - [Dize]

IO [Maybe String] filtresini, >>= kullanarak listenin Just değerlerini saklamak ve IO içeriğini korumak için filtreleyin. bağlama-operatör olmadan -- returns Just, if the passed binary-name is not pre

haskell monads 2016-04-28

---

9ısı

1cevap

runST

Haskell'deki ST monadını doğru bir şekilde anlarsam, runST, bir hesaplamanın tekdüzeden kaçarken başka bir iş parçacığına başvurmadığından emin olmak için sıralı-2 türleri kullanır. Bir Hindley-Milner

haskell monads hindley-milner 2016-09-27

---