category-theory

6ısı

1cevap

Fonksiyonel Programlamada Dizilimi Anlama

Çoğunlukla pratik bir adamım ama bunu ilginç buluyorum. Monadik sıralama hakkında düşünüyordum ve açıklığa ihtiyacım olan birkaç adet var. Yani aptal görünme riski burada öyle: bind :: m b -> (b -> m

13ısı

2cevap

Uygulama sirkülasyonlarının bileşimi aracılığıyla kısa devre arızasıyla başarıların listesini oluşturabilir miyim?

kullanıcı 'singpolyma' asked on reddit orada yatan bazı genel yapısı ise: Ücretsiz bir monad önerildi data FailList a e = Done | Next a (FailList a e) | Fail e , ancak bu uygulamalı functors aracılı

9ısı

1cevap

Her monad tek mi?

Her Monad, sıralama işleminde bir Monoid olduğundan. Neden Monad haskell'de Monoid nolu yazmıyor?

5ısı

3cevap

Java'daki İşlevler

Java'daki sınıfları Haskell'in functor'larına benzer şekilde tanımlamaya çalışıyorum. olarak vesile, bir funktor tanımlanır: Bir functor uygulamak istiyorsanız /** * Programming languages allow only

13ısı

1cevap

Doğal Dönüşümler Okuyucu Bool itibaren Belki

Ben Bartosz müthiş blog okuma ve meydan okuma söz 3 birlikte takip ediyorum, biraz stumped için: https://bartoszmilewski.com/2015/04/07/natural-transformations/ S3: tanımlamak bazı doğal dönüşümler ge

26ısı

2cevap

Öğrenme kuramları Kategori teorisi

Yakında kategori teorisi üzerine bir ders alacağım. Bunu öğrenmek için hangi kaynakları öneriyorsunuz? Hangi bölümler öğrenmeye uygun ve bilgimi nasıl uygulamalı olarak öğreneceğim?

29ısı

3cevap

Haskell functors endofunctors'ın tümü var mı?

Biraz kafam karıştı ve beni düzeltmek için birine ihtiyacım var. benim şimdiki anlayış hatlarıyla sağlar: E bir endofunctor olan ve A bazı kategoridir: E : A -> A. Haskell tüm türleri ve morfizimler