«category-theory» etiketlenmiş sorular

Haskell'i öğreniyorum ve dilden etkileniyorum. Ancak ciddi bir matematik veya CS geçmişim yok. Ama ben deneyimli bir yazılım programcısıyım. Haskell'de daha iyi olabilmek için kategori teorisini öğrenmek istiyorum. Haskell'i anlamak için kategori teorisinde hangi konuları iyi bir temel oluşturmayı öğrenmeliyim?

118 programming-languages  functional-programming  category-theory 

Temel olarak matematiğin üç temelinin farkındayım Küme teorisi Tip teorisi Kategori teorisi Peki programlama dilleri ve matematiğin temelleri hangi yollarla ilişkilidir? DÜZENLE Asıl soru "Matematiğin temellerini temel alan programlama dilleri" idi. eklenen paragarph ile Ve teori gerçeklenimcilerine 1. Tip teorisi Coq 2. Set teoride SETl 3. Kategori teorisi Haskell Bir …

30 programming-languages  history  type-theory  category-theory 

Andrej Bauer'ın bu cevabındaki ifadesiyle aynı düşünce boyunca Haskell topluluğu, kategori teorisinden esinlenerek, monadlarının en iyi bilinen fakat monadlarla karıştırılmaması gereken birkaç teknik geliştirmiştir . Arasındaki ilişki nedir functors SML ve functors Kategori teoride? Haskell veya OCaml gibi diğer dillerde functorların ayrıntılarını bilmediğim için, eğer değer bilgisi varsa, lütfen diğer …

24 programming-languages  functional-programming  category-theory 

Okuma olarak Uday Reddy cevabı için SML functors ve Kategori teorisi arasındaki ilişki nedir? Uday devletleri Kategori teorisi, daha üst düzey fonksiyonlarla nasıl başa çıkılacağını henüz bilmiyor. Bir gün olacak. Kategori teorisinin matematiğin temelini oluşturabildiğini düşündüğüm için, tüm matematik ve daha üst düzey fonksiyonların türetilmesi mümkün olmalıdır. Peki, Kategori teorisi …

22 functional-programming  category-theory 

Haskell ve o kadar saf olmayan FP dillerini öğrendikten sonra Kategori teorisi hakkında okumaya karar verdim. Kategori teorisini iyi anladıktan sonra, kategori teorisi kavramlarının programların tasarımını düşünmede nasıl kullanılabileceğini düşünmeye başladım, ancak ne kadar denesem denesem de bu yolun yolu değil gibi görünüyor. Kategori teorisini program tasarlamakla ilişkilendirmek için başarısız …

21 functional-programming  category-theory 

Bugün, Henning Kerstan'ın ("Olasılıksal Geçiş Sistemleri için İz Semantiği") yaptığı bir konuşma ilk kez kategori teorisi ile karşı karşıya geldi. Olasılıksal geçiş sistemlerini ve davranışlarını genel bir şekilde tanımlamak için teorik bir çerçeve oluşturmuştur, yani sayılamayan sonsuz devlet kümeleri ve farklı iz kavramları. Bu amaçla, nihayet ihtiyacı olan modeli oluşturmak …

18 applied-theory  category-theory 

Programlama dili teorisini gerçekten anlamak için kategori teorisini nasıl öğrenmesi gerektiğini duymaya devam ediyorum. Şimdiye kadar, kategoriler alanına adım atmadan iyi bir PL öğrendim. Ancak, neyi kaçırdığımı görmek için büyük bir adım atmanın zamanının geldiğini düşündüm. Ne yazık ki, bulabildiğim kaynakların hiçbiri tip sistemlerine veya programlamaya herhangi bir bağlantı kurmuş …

13 reference-request  programming-languages  type-theory  category-theory 

Büyük veri perspektifinden geliyor. Temel olarak, birçok çerçeve (Apache Spark gibi), Functor / Monad benzeri arayüzler sağlayarak ilişkisel işlemlerin eksikliğini "telafi eder" ve kedilerden SQL dönüşümlerine (Slick in Scala) benzer bir hareket vardır. Örneğin, Kategori Teorisinin uygulamalarında zip + map(multiply) (Spark'ın MLib'i zaten var ElementwiseProduct) olarak düşünülebilen, SQL perspektifinden vektörlerin …

12 relational-algebra  category-theory  curry-howard 

Bu soruda, set ve tip arasındaki farkın ne olduğunu sordum . Bu cevaplar gerçekten açıklayıcıydı (örneğin @AndrejBauer), bu yüzden bilgi susamamda, kategoriler hakkında aynı şeyi sorma cazibesine boyun eğiyorum: Kategori teorisini her okuduğumda (kuşkusuz gayri resmi), set teorisinden somut olarak nasıl farklı olduğunu gerçekten anlayamıyorum . Yani çoğunda somut tam …

11 sets  category-theory