vim-registers

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

---

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

---

5ısı

1cevap

iOS için Xamarin Storyboard'a Monogame Görünümünü Ekle

Monogame ile çalışıyorum ama Xamarin’e yeni başladım. Bir storyboard ile bir Xamarion iOS projesi oluşturdum (resimde görülen). Bu çalışır ve Segues ve web servis çağrıları ve ne işe yaramaz ne yaratt

xamarin xamarin.ios monogame 2016-07-27

---

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

---

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

---

5ısı

1cevap

Bir UWP projesinde dosya değişikliklerini nasıl izleyebilirim?

Oyunumu tam masaüstü bilgisayar ağından UWP'ye yüklüyorum ve üzerinde çalışmam gereken bir şey, yük dokusunu, gölgelendiricileri vb. Oyunun UWP sürümüne nasıl yükleyeceğidir. Masaüstü sürümünde bunu y

c# windows xna uwp monogame 2016-09-28

---