Sebagian besar sumber daya mengenai pengertian kategoris dalam pemrograman menggambarkan monad, tetapi saya belum pernah melihat deskripsi kategorik dari monad transformer. Bagaimana transformator monad dijelaskan dalam istilah teori kategori? Secara khusus, saya akan tertarik pada: hubungan...
Tampaknya menjadi terkenal bahwa bahasa pemrograman tidak dapat memiliki jumlah, produk, dan nonterminasi bersama. Q1 . Apakah ini benar? Di bawah ini (atau di tautan di atas saya berikan) adalah argumen parsial. Namun, pemrograman Generik Hinze dengan Adjunctions mengabaikan masalah ini, bahkan...
Saya kurang memiliki latar belakang dalam ilmu komputer teoretis tetapi saya ingin memahami seperti apa objek teoritis yang sesuai dengan konsep C ++ . Pada dasarnya, konsep C ++ memungkinkan untuk mendefinisikan sekumpulan tipe yang memenuhi daftar kendala. Jadi, dari sudut pandang teoretis,...