Pertanyaan yang diberi tag «programming-languages»

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 adalah properti dari bahasa yang mengatakan bahwa penerapan fungsi …

9 programming-languages  type-theory  type-checking 

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 : Nat …

9 machine-learning  programming-languages  unification 

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 berubah?

9 programming-languages  language-design 

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 daftar yang terbatas.

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

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 tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

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 Racket?

9 programming-languages  typing  type-checking  dependent-types  lisp 

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 untuk kemungkinan kenaifan saya. Karena itu saya mendefinisikan bahasa saya sebagai urutan sederhana rangkaian …

8 logic  programming-languages  compilers  type-theory  type-checking 

Saya membaca Bahasa Pemrograman Karat dan menemukan bagian berikut: Ingatlah bahwa menulis ke struct bukanlah operasi atom, dan banyak fungsi seperti vec.push()dapat merealokasi secara internal dan menyebabkan perilaku yang tidak aman, sehingga bahkan monotonitas mungkin tidak cukup untuk membenarkan UnsafeCell Itu muncul begitu saja dalam buku ini dan saya kesulitan …

8 programming-languages  synchronization 

Saya tidak yakin apakah itu tempat yang tepat untuk pertanyaan ini. Maaf jika sedikit di luar topik. Memilih Bahasa yang cocok untuk kursus pemrograman pertama adalah salah satu hal terpenting yang harus diingat oleh setiap guru / dosen terkait; terutama jika siswa masih muda atau memiliki pengetahuan matematika yang terbatas. …

8 algorithms  programming-languages  education 

Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi tertentu akan mengarah pada redundansi eksponensial. Saya pada dasarnya tidak …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Analisis aliran data bekerja di atas grafik aliran kontrol. Ketika bahasa yang dipertimbangkan mendukung pengecualian, grafik aliran kontrol dapat meledak. Apa teknik standar untuk menghadapi ledakan ini? Bisakah kita mengabaikan tepi yang dipicu oleh pengecualian? Bagaimanapun juga, aliran data menganalisis perhitungan perkiraan yang berlebihan, sehingga kami akan berakhir dengan solusi …

8 programming-languages  program-optimization  software-verification 

Saya membaca makalah Konsep Dasar dalam Bahasa Pemrograman oleh C. Strachey tempo hari, di mana saya membaca sesuatu yang sangat aneh bagi saya. Mengutip secara langsung (dengan bagian aneh disorot oleh saya): Menghadapi situasi seperti yang ada saat ini, di mana ada metode yang umum dikenal untuk menggambarkan kelas tata …

8 formal-grammars  programming-languages  syntax 

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 teks dan teks ini dalam format yang benar …

8 programming-languages  compilers 

Saya sedang mengerjakan bahasa pemrograman kecil saya sendiri untuk tujuan pendidikan, dan saya mengalami sedikit masalah. Ada beberapa solusi berbeda untuk itu, tetapi semuanya tampaknya tidak sempurna - dan dari apa yang saya pahami, tidak perlu. Tetapi membaca buku-buku yang saya miliki dan pencarian google, saya tidak dapat menemukan solusi …

8 programming-languages  loops  language-design 

Dalam kalkulus lambda murni, kita memiliki seperangkat istilah yang didefinisikan secara induktif (tata bahasa): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Di bawah strategi evaluasi panggilan-oleh-nilai, kami memiliki aturan inferensi untuk pengurangan beta dan aturan tentang cara mengevaluasi aplikasi (aturan kongruensi). Saya mencoba memahami bagaimana konteks evaluasi …

8 programming-languages  lambda-calculus  semantics