Pertanyaan yang diberi tag «programming-languages»

Saya baru mengenal teori bahasa pemrograman. Saya menonton beberapa kuliah online di mana instruktur mengklaim bahwa fungsi dengan tipe polimorfik forall t: Type, t->tmenjadi identitas, tetapi tidak menjelaskan mengapa. Adakah yang bisa menjelaskan kepada saya mengapa? Mungkin bukti klaim dari prinsip pertama.

18 programming-languages  type-theory 

Saya akrab dengan selusin bahasa pemrograman yang memiliki pengecualian dalam beberapa cara, namun saya datang untuk menyaksikan dua kecenderungan "patologis". Tampaknya tidak ada pola umum atau hierarki pengecualian. Setiap bahasa pada dasarnya memutar versinya sendiri, dan jika pengecualian membuatnya menjadi standar, maka jenis-jenis pengecualian yang ditemukan dalam standar akan agak …

18 terminology  programming-languages  api-design 

Dalam bahasa pemrograman, penutupan adalah fitur yang populer dan sering diinginkan. Wikipedia mengatakan (beri penekanan pada saya): Dalam ilmu komputer, closure (...) adalah fungsi bersama-sama dengan lingkungan referensi untuk variabel non-lokal dari fungsi itu. Penutupan memungkinkan suatu fungsi untuk mengakses variabel di luar lingkup leksikal langsungnya. Jadi penutupan pada dasarnya …

18 programming-languages  semantics 

Saya telah mempelajari buku "C ++ Demystified" . Sekarang saya sudah mulai membaca "Pemrograman Berorientasi Objek dalam Turbo C ++ edisi pertama (edisi 1)" oleh Robert Lafore. Saya tidak memiliki pengetahuan pemrograman yang melampaui buku-buku ini. Buku ini mungkin sudah usang karena sudah berusia 20 tahun. Saya memiliki edisi terbaru, …

17 programming-languages  object-oriented  programming-paradigms 

Saya benar-benar bergumul dengan properti ini: Biarkan X,YX,YX,Y menjadi ruang koherensi dan f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) menjadi fungsi monoton. fff adalah kontinu jika dan hanya jika f(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x) , untuk semua D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) sedemikian rupa sehingga DDD adalah himpunan terarah. Set yang diarahkan didefinisikan sebagai berikut: …

16 terminology  programming-languages  semantics 

Menurut artikel ini , baris kode Lisp berikut mencetak "Hello world" ke output standar. (format t "hello, world") Lisp, yang merupakan bahasa homoikonik , dapat memperlakukan kode sebagai data dengan cara ini: Sekarang bayangkan kita menulis makro berikut: (defmacro backwards (expr) (reverse expr)) mundur adalah nama makro, yang mengambil ekspresi …

16 programming-languages  functional-programming 

Ingin memperbaiki pos ini? Berikan jawaban terinci untuk pertanyaan ini, termasuk kutipan dan penjelasan mengapa jawaban Anda benar. Jawaban tanpa detail yang cukup dapat diedit atau dihapus. Seringkali ada bahasa pemrograman yang dikhususkan untuk tugas tertentu. Beberapa bahasa pemrograman sangat baik di aritmatika array (seperti matriks dan penggunaan array multidimensi), …

15 programming-languages 

Saya tahu itu dapat dibuktikan PROLOG adalah Turing-complete dengan membangun sebuah program yang mensimulasikan mesin Turing seperti ini: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, …

15 programming-languages  turing-completeness  logic-programming  prolog 

Saya sedang mengerjakan kompiler untuk bahasa concatenative dan ingin menambahkan dukungan jenis inferensi. Saya mengerti Hindley-Milner, tetapi saya telah mempelajari teori jenis ketika saya pergi, jadi saya tidak yakin bagaimana mengadaptasinya. Apakah sistem berikut ini masuk akal dan dapat disimpulkan? Istilah adalah literal, komposisi istilah, kutipan istilah, atau primitif. e::=x∣∣ee∣∣[e]∣∣…e::=x|ee|[e]|… …

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

Dengan mengacu pada fitur-fitur dalam bahasa seperti ruby ​​(dan javascript), yang memungkinkan seorang programmer untuk memperluas / menimpa kelas setiap saat setelah mendefinisikannya (termasuk kelas-kelas seperti String), apakah secara teori layak untuk merancang bahasa yang dapat memungkinkan program untuk kemudian memperluas semantiknya. mis: Ruby tidak mengizinkan multiple inheritance, namun dapatkah …

15 programming-languages  semantics 

Di sini saya baca itu: Haskell jelas tidak memiliki sistem tipe yang paling canggih (bahkan tidak menutup jika Anda menghitung bahasa penelitian) tetapi dari semua bahasa yang sebenarnya digunakan dalam produksi, Haskell mungkin ada di puncak. Jadi saya bertanya dua hal: bahasa riset mana yang memiliki sistem tipe yang lebih …

14 programming-languages  type-theory 

Adakah yang bisa merujuk saya ke makalah peer-review yang mempelajari kelebihan atau kekurangan dari penulisan kode dengan gaya fungsional? Apakah ada makalah yang membahas aplikasi Lambda Calculus di berbagai bidang seperti Machine Learning, Desain Bahasa, dll?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Saya telah menemukan pengalaman aneh dalam pemrograman C. Pertimbangkan kode ini: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Ketika saya mengkompilasi dan menjalankan ini, saya tidak mendapatkan kesalahan atau peringatan. Seperti kata …

14 programming-languages  arrays  c 

Saya pikir saya cukup bingung tentang apa yang disebut kalkulus dan apa yang disebut bahasa pemrograman. Saya cenderung berpikir, dan mungkin telah diberitahu, bahwa kalkulus adalah sistem formal untuk alasan tentang kesetaraan program. Program memiliki semantik operasional yang ditentukan oleh mesin, yang seharusnya (saya pikir?) Menjadi deterministik. Dengan cara ini, …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Saya terus mendengar tentang bagaimana seseorang harus belajar teori kategori untuk benar-benar memahami teori bahasa pemrograman. Sejauh ini, saya telah belajar banyak PL tanpa pernah melangkah ke bidang kategori. Namun, saya pikir sudah waktunya untuk melakukan lompatan untuk melihat apa yang telah saya lewatkan. Sayangnya, tidak ada sumber yang bisa …

13 reference-request  programming-languages  type-theory  category-theory