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...
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...
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 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...
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...
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...
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...
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...
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...
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...
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...