Pertanyaan yang diberi tag «programming-languages»

Apakah secara teori dimungkinkan untuk menentukan bahasa pemrograman yang tidak dapat diterapkan? Bahasa pemrograman adalah cara mendefinisikan fungsi. Implementasi berarti metode untuk menjalankan program yang diberikan dalam bahasa itu pada input yang diberikan ke output fungsi yang sesuai dengan program pada input tersebut. Apa persyaratan minimal dari bahasa seperti itu?

11 formal-languages  computability  programming-languages 

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 beberapa alasan mengapa ini berguna?

10 programming-languages  language-design  types 

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 sisi"?

10 terminology  programming-languages 

Saya memulai kursus ilmu komputer sarjana musim gugur mendatang, tetapi saya tidak dapat benar-benar memahami kalkulus dalam konteks pemrograman fungsional. Saya mungkin salah menafsirkan ini sepenuhnya, tetapi berdasarkan definisi ini dari Stanford Encyclopedia of Philosophy, itu hanyalah notasi lain untuk fungsi. Jika adalah hanya itu, mengapa menguntungkan untuk menggunakan λ-kalkulus …

10 programming-languages  lambda-calculus 

Apa fungsi anonim (lambda)? Apa definisi formal dari fungsi anonim dalam bahasa pemrograman fungsional? Dalam istilah sederhana saya, ketika saya pemrograman dalam skema / lisp saya akan mengatakan fungsi anonim (lambda) adalah fungsi yang tidak terikat pada pengenal. Apakah hanya itu yang dapat Anda katakan secara formal tentang fungsi lambda? …

10 logic  programming-languages  lambda-calculus  functional-programming 

Apakah ada bahasa pemrograman (atau logika) yang dapat mengimplementasikan (atau mengekspresikan) fungsi jika dan hanya jika f adalah fungsi bijektif yang dapat dihitung?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Saya penasaran. Saya telah mengerjakan tipe data ini di OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Yang dapat dimanipulasi menggunakan fungsi rekursif yang diketik secara eksplisit (fitur yang telah ditambahkan baru-baru …

10 logic  programming-languages  coq  inductive-datatypes 

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 referensi ke alamat memori. Mereka dapat dianggap menunjuk ke data …

10 terminology  programming-languages 

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 dengan sendirinya. Misalnya kompiler C ditulis dalam C. Bagaimana mungkin? Saya dapat …

10 programming-languages  compilers 

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

10 programming-languages  functional-programming 

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, \sigma) \rightarrow (if \>B \> …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

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 single-threaded untuk pertanyaan ini. Namun, saya agak bingung dengan diagram di …

9 data-structures  programming-languages  continuations 

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 (expression-with-type-error) Bisakah seseorang memberikan jawaban yang tidak dibuat-buat yang benar-benar menjadi masalah praktis? Saya mengerti bahwa Java memungkinkan gips yang diperiksa …

9 programming-languages  compilers  type-checking 

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 juga.

9 terminology  programming-languages  semantics 

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 dieksekusi hingga di mana proses 1 adalah …

9 programming-languages  concurrency  mutual-exclusion