Pertanyaan yang diberi tag «category-theory»

Saya belajar Haskell dan saya kagum dengan bahasanya. Namun saya tidak memiliki latar belakang matematika atau CS yang serius. Tapi saya seorang programmer perangkat lunak yang berpengalaman. Saya ingin belajar teori kategori sehingga saya bisa menjadi lebih baik di Haskell. Topik apa dalam teori kategori yang harus saya pelajari untuk …

118 programming-languages  functional-programming  category-theory 

Pada dasarnya saya mengetahui tiga dasar untuk matematika Tetapkan teori Jenis teori Teori kategori Jadi dalam hal apa bahasa pemrograman dan dasar matematika terkait? EDIT Pertanyaan aslinya adalah "Memprogram bahasa berdasarkan dasar matematika" dengan paragarph ditambahkan Dan implementasi teori 1. Ketikkan teori dalam Coq 2. Set teori dalam SETL 3. …

30 programming-languages  history  type-theory  category-theory 

Seiring pemikiran yang sama seperti pernyataan Andrej Bauer dalam jawaban ini Komunitas Haskell telah mengembangkan sejumlah teknik yang diilhami oleh teori kategori, yang mana monad paling terkenal tetapi tidak boleh dikacaukan dengan monad . Apa hubungan antara functors di SML dan functors dalam teori Kategori? Karena saya tidak tahu tentang …

24 programming-languages  functional-programming  category-theory 

Dalam membaca jawaban Uday Reddy untuk Apa hubungan antara functors dalam teori SML dan Kategori? Negara bagian Uday Teori kategori belum tahu bagaimana menangani fungsi tingkat tinggi. Suatu hari, itu akan terjadi. Karena saya pikir teori Kategori dapat berfungsi sebagai dasar untuk matematika, maka seharusnya dimungkinkan untuk menurunkan semua fungsi …

22 functional-programming  category-theory 

Setelah mempelajari Haskell dan bahasa FP lain yang tidak murni, saya memutuskan untuk membaca tentang teori Kategori. Setelah mendapatkan pemahaman yang baik tentang teori Kategori saya mulai berpikir tentang bagaimana konsep teori kategori dapat digunakan untuk berpikir tentang merancang program tetapi tidak peduli seberapa keras saya mencoba sepertinya ini bukan …

21 functional-programming  category-theory 

Hari ini, ceramah oleh Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") menghadapkan saya pada teori kategori untuk pertama kalinya. Dia telah membangun kerangka teori untuk menggambarkan sistem transisi probablistik dan perilaku mereka secara umum, yaitu dengan set keadaan tak terbatas yang tak terhitung jumlahnya dan gagasan jejak yang berbeda. …

18 applied-theory  category-theory 

Saya terus mendengar tentang bagaimana seseorang harus belajar teori kategori untuk benar-benar memahami teori bahasa pemrograman. Sejauh ini, saya telah belajar banyak PL tanpa pernah melangkah ke bidang kategori. Namun, saya pikir sudah waktunya untuk melakukan lompatan untuk melihat apa yang telah saya lewatkan. Sayangnya, tidak ada sumber yang bisa …

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

Itu datang dari perspektif big data. Pada dasarnya, banyak kerangka kerja (seperti Apache Spark) "mengimbangi" kurangnya operasi relasional dengan menyediakan antarmuka seperti Functor / Monad dan ada gerakan serupa menuju konversi kucing ke SQL (Slick in Scala). Misalnya, kita perlu penggabungan alami (dengan asumsi tidak ada pengulangan pada indeks) untuk …

12 relational-algebra  category-theory  curry-howard 

Dalam pertanyaan ini, saya bertanya apa perbedaan antara set dan tipe . Jawaban ini benar-benar mengklarifikasi (misalnya @AndrejBauer), jadi dalam kehausan saya akan pengetahuan, saya tunduk pada godaan untuk menanyakan hal yang sama tentang kategori: Setiap kali saya membaca tentang teori kategori (yang diakui agak informal), saya tidak dapat benar-benar …

11 sets  category-theory 

Katakanlah bahwa daftar didefinisikan sebagai List a = Nil | Cons a (List a) Lalu, di Haskell adalah List xfixpoint terbesar atau paling tidak? Saya bertanya karena lfp harus mengecualikan daftar yang tidak terbatas (tetapi Anda dapat membangunnya di Haskell), sedangkan gfp harus mengecualikan daftar yang terbatas.

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

Seluk-beluk korespondensi antara teori tipe dan teori kategori berada di luar ken saya. Namun, dengan pemahaman saya yang naif tentang hubungan antara dua disiplin ilmu yang secara historis konvergen, yang terakhir sepenuhnya mencakup yang pertama. Jika demikian, dapatkah bahasa dan deskripsi formal / grafis yang digunakan oleh ahli teori kategori …

8 type-theory  category-theory