Saya seorang mahasiswa ilmu komputer. Saya ingin membuat bahasa pemrograman saya sendiri (Bahasa dasar dengan beberapa instruksi). Saya tahu bagaimana melakukan analisa sintaksis, saya sudah melakukannya di Perl. Dalam sebuah artikel, saya membaca sesuatu tentang kompiler, kompiler dilakukan...
Untuk fungsi atau perhitungan, kami memiliki istilah seperti: Deterministik - Determinisme Murni - Kemurnian Sekarang apa kata benda yang tepat untuk bebas efek samping ? "Efek samping"? "Kebebasan efek samping"? "Tidak efektif dari
Whist membaca sebuah artikel yang menguraikan perbedaan dalam pemrograman OO dan Fungsional. Saya menemukan pointer fungsi. Sudah lama sejak saya menyelesaikan gelar Ilmu Komputer saya (2003) dan jadi saya mencari petunjuk untuk menyegarkan ingatan saya. Pointer adalah variabel yang berisi...
Berasal dari latar belakang C ++ saya tidak mengerti mengapa seseorang membutuhkan tipe / tipe ekspresi sebagai warga negara kelas satu? Satu-satunya bahasa yang saya tahu yang mendukung fitur ini adalah Aldor. Adakah yang punya literatur tentang tipe sebagai warga negara kelas satu atau tahu...
Defungsionalisasi adalah transformasi yang pertama kali dijelaskan pada tahun 1972 oleh John C. Reynolds untuk menghilangkan fungsi tingkat tinggi. Apakah ada transformasi alternatif (lebih efisien?) Untuk menghilangkan fungsi tingkat
Saya pikir dalam algoritma Peterson untuk saling pengecualian , jika proses pertama yang memasuki bagian kritis adalah mati atau dibatalkan, proses lain akan berulang selamanya, menunggu untuk memasuki bagian kritis. Dalam gambar, jika proses 1 dihentikan, sisa proses di belakang proses 1 akan...
Dalam Bab 1 dari Yayasan Praktis untuk Bahasa Pemrograman , penulis menyebutkan bahwa pohon sintaksis abstrak terkait dengan jenis . Secara intuitif, jenis seperti tipe, tetapi saya ingin tahu apakah mereka memiliki definisi yang tepat. Saya akan senang jika beberapa referensi disediakan...
Apakah mungkin untuk menggunakan Tipe Tanggungan dalam implementasi Typed Racket yang ada ? (Yaitu apakah mereka ada di dalamnya?) Apakah mungkin untuk menerapkan Sistem Jenis Tanggungan menggunakan Typed
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
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...
Dalam Konsep dalam Bahasa Pemrograman , John Mitchell menulis bahwa pengecekan tipe statis harus konservatif (terlalu ketat) karena Masalah Pemutusan Hubungan. Dia memberi contoh: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else
String adalah kelas yang tidak dapat diubah di Jawa. Kelas yang tidak berubah hanyalah kelas yang instansnya tidak dapat dimodifikasi. Mengapa bahasa pemrograman Java memilih untuk membuat objek String kelas tidak
Saya sedang mencari teknik implementasi untuk bahasa pemrograman, dan baru-baru ini menemukan tumpukan spaghetti, yang dianggap cocok untuk model gaya kelanjutan lewat (diberikan penggunaannya dalam misalnya Skema dan SML / NJ ). Demi kesederhanaan, mari kita hanya mempertimbangkan proses...
Biasanya saya melihat bahwa dalam representasi semantik operasional struktural untuk loop sementara, status program tidak berubah: ( W h i l eBdHaiS, σ) → ( i fBt h e nS; ( W h i l eBdHaiS)e l s eSKsayaP, σ)(whsayaleBdHaiS,σ)→(sayafBthenS;(whsayaleBdHaiS)elseSKsayaP,σ)(while \> B \> do \>S,...
Misalkan Anda memperpanjang Kalkulus Konstruksi dengan "lubang" - yaitu, potongan kode tidak lengkap yang belum Anda isi. Saya ingin tahu apakah ada algoritma untuk mengisi peran itu secara otomatis. Misalnya (menggunakan sintaksis Morte ): Kasus A: λ (pred : ?) -> λ (Nat : *) -> λ (Succ...
Saya sudah mencoba untuk memisahkan definisi dari tipe keselamatan dan tipe kesehatan dan saya mengalami masa-masa itu. Saya bertanya kepada seorang profesor baru-baru ini dan setelah sedikit berpikir dia berkata bahwa tidak ada perbedaan. Namun setelah membaca ini sepertinya: Jenis Keamanan...
Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah...
Saya akan mengimplementasikan bahasa khusus domain untuk representasi konvensi pembelajaran sosial. Bagian dari implementasi adalah deskripsi formal bahasa - 'kalkulus', simbol dan ekspresi logisnya. Pendekatan saya adalah mendeskripsikan bahasa dengan menjelaskan tata bahasanya tetapi ada juga...
Apa artinya ketika suatu argumen ke suatu fungsi disebut argumen dummy ? Saya belum menemukan istilah ini di luar Fortran, apakah ini istilah umum dalam ilmu komputer? Apa yang akan menjadi contoh argumen yang diteruskan sebagai dummy dan tidak dianggap sebagai dummy? Saya menemukan definisi ini ,...
Katakanlah, saya ingin membuat bahasa pemrograman saya sendiri. Dengan asumsi bahwa saya telah membuat semua keputusan tentang bagaimana saya ingin terlihat dan bertindak, apakah saya hanya perlu menulis kompiler untuk itu? Sebagai contoh, apakah kode Java tingkat tinggi tidak lain dari sekedar...