Teori domain memberikan teori komputabilitas yang menakjubkan dengan adanya tipe-tipe sederhana. Tetapi ketika polimorfisme parametrik ditambahkan, tampaknya tidak ada teori yang bagus yang menjelaskan apa yang terjadi dengan sebaik teori domain menjelaskan perhitungan dari tipe sederhana. Tentu...
Saya membaca salah satu makalah populer tentang teori tipe kubik, tetapi tidak heran saya hanya bisa melihat rumus dan diagram tanpa bisa mengenalinya sama sekali. Jadi, inilah yang saya inginkan. Saya ingin penjelasan yang cukup mendalam tentang komposisi apa, Kan mengisi dan menempelkan...
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...
Baru-baru ini saya memulai studi saya dalam teori tipe / sistem tipe dan Lambda Calculus. Saya sudah membaca tentang Kalkulus Ketik Sederhana Diketik dalam gaya Gereja dan Kari. Yang terakhir juga dikenal sebagai Type Assignment system (TA). Saya berpikir tentang hubungan antara TA dan...
Tentang keadaan seni yang saya jalankan di depan Type Theory, saya memiliki semua pertanyaan ini terkait dengan sejarah Jenis. Dari mana ide Tipe berasal? (Tampaknya semua dimulai ketika Russell dan Whitehead mengusulkan cara untuk menghindari kontradiksi yang kita kenal sekarang sebagai...
Dalam teori jenis podcast ep. 3 , Dan Licata mengklaim bahwa fakta bahwa untuk setiap input, insertionsort dan mergesort memberikan hasil yang sama tidak menyiratkan bahwa hasilnya akan sama ketika digunakan sebagai fungsi urutan yang lebih tinggi sebagai argumen ke fungsi ketiga, yaitu map...
Seperti yang didefinisikan oleh Wikipedia, (Korespondensi Curry-Howard) adalah generalisasi dari analogi sintaksis antara sistem logika formal dan kalkulus komputasi yang pertama kali ditemukan oleh ahli matematika Amerika Haskell Curry dan ahli logika William Alvin Howard. Terkait dengan itu...
Saya ingin belajar lebih banyak tentang pemrograman concatenative melalui pembuatan bahasa kecil yang sederhana, berdasarkan stack dan mengikuti paradigma concatenative. Sayangnya, saya belum menemukan banyak sumber daya mengenai bahasa konkatatif dan implementasinya, jadi maafkan saya sebelumnya...
Membaca makalah Pengantar Kalkulus Lambda , saya menemukan sebuah paragraf yang tidak terlalu saya mengerti, di halaman 34 (huruf miring saya): Dalam masing-masing dari dua paradigma ada beberapa versi kalkulus lambda yang diketik. Dalam banyak sistem penting, terutama yang ala Gereja, istilah...