Pertanyaan yang diberi tag «programming-languages»

Misalkan sebuah program ditulis dalam dua bahasa yang berbeda, biarkan mereka menjadi bahasa X dan bahasa Y, jika kompiler mereka menghasilkan kode byte yang sama, mengapa saya harus menggunakan bahasa X alih-alih bahasa Y? Apa yang mendefinisikan bahwa satu bahasa lebih cepat dari yang lain? Saya bertanya ini karena sering …

38 programming-languages  compilers 

Saya tahu bahwa Idris memiliki tipe dependen tetapi belum selesai. Apa yang tidak bisa dilakukan dengan melepaskan kelengkapan Turing, dan apakah ini terkait dengan memiliki tipe dependen? Saya kira ini adalah pertanyaan yang cukup spesifik, tetapi saya tidak tahu banyak tentang tipe dependen dan sistem tipe terkait.

35 computability  programming-languages  type-theory  dependent-types 

Sebagian besar dari kita belajar pemrograman menggunakan bahasa pemrograman "tekstual" seperti Basic, C / C ++, dan Java. Saya percaya itu lebih alami dan efisien bagi manusia untuk berpikir secara visual. Pemrograman visual memungkinkan pengembang untuk menulis program dengan memanipulasi elemen grafis. Saya kira menggunakan pemrograman visual harus meningkatkan kualitas …

35 programming-languages 

Sebagai seorang pendidik CS tingkat universitas, masalah yang mana bahasa pemrograman untuk mengajar dalam kursus pemrograman pertama sering muncul untuk diskusi. Ada ribuan bahasa untuk dipilih, dan banyak demam agama (atau demam) mendukung satu kamp bahasa di atas yang lain. Semua ini bias subjektif seputar setiap bahasa pemrograman membuatnya sangat …

35 programming-languages  education 

Dijkstra, dalam esainya Tentang kekejaman yang benar-benar mengajarkan ilmu komputasi , membuat proposal berikut untuk kursus pemrograman pengantar: Di satu sisi, kami mengajarkan apa yang tampak seperti kalkulus predikat, tetapi kami melakukannya sangat berbeda dari para filsuf. Untuk melatih programmer pemula dalam memanipulasi formula yang tidak diinterpretasikan, kami mengajarkannya lebih …

33 reference-request  programming-languages  education  didactics 

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 biasa. Pemahaman saya adalah bahwa kedua Iota …

32 regular-languages  programming-languages  turing-completeness 

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 implementasi teori 1. Ketikkan teori dalam Coq 2. Set teori dalam SETL 3. …

30 programming-languages  history  type-theory  category-theory 

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, pembatasan apa yang mencegah perkembangan mereka? Apakah ini masalah lengkap AI (terjemahan …

28 computability  programming-languages  compilers 

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 mengerti tujuannya dan saya bisa melacak pelaksanaan aplikasinya …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

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 secara alami dengan cara yang mirip dengan bahasa alami? Meskipun rasionalitas penuh, dan konsistensi matematis …

27 programming-languages  natural-language-processing 

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 memindahkan r1 r3, memindahkan 5 dll. Dan itu agak sulit …

27 programming-languages  education  history 

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 Ruby, Javascript / ES6 / ES7, Actionscript, Lua, dll. …

27 programming-languages  memory-management  garbage-collection  language-design 

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 lainnya. Dan program apa pun yang ditulis dalam bahasa …

26 computability  programming-languages  turing-completeness 

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 kompiler di luar sana memiliki fase dalam proses kompilasi …

25 programming-languages  language-design  syntax-trees 

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 untuk tugas sekolah menengah. Pertanyaan saya adalah, bagaimana …

25 formal-languages  programming-languages  regular-expressions