Saya membaca tentang Iota dan Jot dan menemukan bagian ini membingungkan: Tidak seperti Iota, di mana pohon sintaksis untuk string dapat bercabang baik di kiri atau di kanan, sintaks Jot secara seragam bercabang kiri. Akibatnya, Iota benar-benar bebas konteks, tetapi Jot adalah bahasa...
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...
Apakah ada program yang dapat 'menerjemahkan' kode sumber antara dua bahasa (dengan asumsi penerjemah memiliki akses ke perpustakaan yang diperlukan)? Jika ada, bagaimana cara kerjanya (teknik yang digunakan, pengetahuan yang dibutuhkan, dll)? Bagaimana mereka layak dibangun? Jika tidak,...
Combinator titik tetap FIX (alias combinator Y) dalam kalkulus lambda (tidak diketik) ( ) didefinisikan sebagai:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Saya...
Kami kebanyakan menulis program dalam bahasa tingkat tinggi. Jadi saat belajar saya menemukan bahasa assembly. Jadi assembler mengkonversi bahasa assembly ke bahasa mesin dan compiler melakukan hal yang sama dengan bahasa tingkat tinggi. Saya menemukan bahasa assembly memiliki instruksi seperti...
Mencari wawasan tentang keputusan seputar desain bahasa sampah yang dikumpulkan. Mungkin seorang pakar bahasa bisa mencerahkan saya? Saya berasal dari latar belakang C ++, jadi area ini membingungkan saya. Tampaknya hampir semua sampah modern mengumpulkan bahasa dengan dukungan objek OOPy seperti...
Pertanyaan ini dimigrasikan dari Rekayasa Perangkat Lunak Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Bisakah kita mempelajari bahasa pemrograman dalam konteks linguistik? Apakah bahasa pemrograman berkembang
Catatan, sementara saya tahu cara memprogram, saya cukup pemula dalam teori CS. Menurut jawaban ini Kelengkapan Turing adalah konsep abstrak dari kemampuan komputasi. Jika suatu bahasa Turing lengkap, maka ia mampu melakukan perhitungan apa pun yang bisa dilakukan bahasa lengkap Turing...
Saya bertanya-tanya apakah ada percobaan yang menunjukkan ada atau tidak adanya korelasi antara penggunaan bahasa dinamis (seperti Python, Ruby, atau bahkan bahasa yang berjalan pada platform Java seperti Groovy, Clojure) melalui bahasa statis (seperti C / C ++), dan perbedaan
Saya telah mencari-cari jawaban untuk pertanyaan ini dan kelihatannya semua orang secara implisit tahu jawabannya kecuali saya. Agaknya ini karena satu-satunya orang yang peduli adalah mereka yang pernah memiliki pendidikan tinggi tentang hal itu. Saya, di sisi lain, telah dilemparkan ke dalam...
Saya telah menemukan beberapa alat pemrograman visual open source seperti Blockly dan teman-teman, dan proyek lain yang dihosting di Github, tetapi tidak dapat menemukan yang bekerja langsung dengan pohon sintaksis abstrak. Mengapa demikian? Saya bertanya karena begitu saya menemukan bahwa setiap...
Dalam artikel CACM baru-baru ini [1], penulis menyajikan implementasi untuk fungsi bertahap . Mereka menggunakan istilah itu seolah-olah itu terkenal, dan tidak ada referensi yang terlihat seperti pengantar yang jelas. Mereka memberikan penjelasan singkat (penekanan saya dan nomor referensi...
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...
Ini adalah pertanyaan yang naif dan, karenanya, mungkin cacat, jadi minta maaf terlebih dahulu! Pandangan saya adalah bahwa Mesin Turing dapat dilihat sebagai dasar komputasi untuk bahasa pemrograman prosedural / imperatif. Demikian pula, kalkulus lambda adalah dasar untuk bahasa pemrograman...
Singkatnya: bagaimana sistem tipe dikategorikan dalam konteks akademik; khususnya, di mana saya dapat menemukan sumber yang memiliki reputasi baik yang membuat perbedaan antara berbagai jenis sistem yang jelas? Dalam arti, kesulitan dengan pertanyaan ini bukan karena saya tidak dapat menemukan...
Jadi saya berpikir tentang cara kerja pengumpul sampah dan saya memikirkan masalah yang menarik. Agaknya pengumpul sampah harus melintasi semua struktur dengan cara yang sama. Mereka tidak dapat mengetahui cuaca mereka melintasi daftar tertaut atau pohon seimbang atau apa pun. Mereka juga tidak...
Saya ingin mengajukan beberapa pertanyaan tentang bahasa Majelis. Pemahaman saya adalah bahwa itu sangat dekat dengan bahasa mesin, membuatnya lebih cepat dan lebih efisien. Karena kita memiliki arsitektur komputer berbeda yang ada, apakah itu berarti saya harus menulis kode yang berbeda di...
Per rekomendasi saya memposting ulang ini dari Stack Overflow . Baru-baru ini saya telah memikirkan masalah berikut. Pertimbangkan kode untuk standar "Halo dunia!" program: main() { printf("Hello World"); } Sekarang hampir semua perubahan dalam kode ini akan membuatnya benar-benar tidak...
Saya tahu bahwa, dalam bahasa pemrograman imperatif, loop sementara-lakukan sudah cukup sebagai konstruk aliran kontrol untuk membuat bahasa Turing-lengkap (sejauh aliran kontrol berlangsung - tentu saja kita juga memerlukan memori tidak terbatas dan operator tertentu ...) . Inti dari pertanyaan...
Mungkin pemahaman saya yang terbatas tentang subjek ini tidak benar, tetapi sejauh ini yang saya mengerti: Pemrograman fungsional didasarkan dari Lambda Calculus, yang dirumuskan oleh Gereja Alonzo. Pemrograman imperatif didasarkan pada model mesin Turing, yang dibuat oleh Alan Turing, siswa...