Pertanyaan yang diberi tag «programming-languages»

Saya bertanya-tanya apakah ada percobaan yang menunjukkan ada atau tidak adanya korelasi antara penggunaan bahasa dinamis (seperti Python, Ruby, atau bahkan bahasa yang berjalan pada platform Java seperti Groovy, Clojure) melalui bahasa statis (seperti C / C ++), dan perbedaan produktivitas.

25 programming-languages  empirical-research  software-engineering 

Dalam artikel CACM baru-baru ini [1], penulis menyajikan implementasi untuk fungsi bertahap . Mereka menggunakan istilah itu seolah-olah itu terkenal, dan tidak ada referensi yang terlihat seperti pengantar yang jelas. Mereka memberikan penjelasan singkat (penekanan saya dan nomor referensi berubah; ini 22 di aslinya) Dalam konteks pembuatan program, pemrograman multistage …

24 terminology  programming-languages  meta-programming 

Seiring pemikiran yang sama seperti pernyataan Andrej Bauer dalam jawaban ini Komunitas Haskell telah mengembangkan sejumlah teknik yang diilhami oleh teori kategori, yang mana monad paling terkenal tetapi tidak boleh dikacaukan dengan monad . Apa hubungan antara functors di SML dan functors dalam teori Kategori? Karena saya tidak tahu tentang …

24 programming-languages  functional-programming  category-theory 

Ini adalah pertanyaan yang naif dan, karenanya, mungkin cacat, jadi minta maaf terlebih dahulu! Pandangan saya adalah bahwa Mesin Turing dapat dilihat sebagai dasar komputasi untuk bahasa pemrograman prosedural / imperatif. Demikian pula, kalkulus lambda adalah dasar untuk bahasa pemrograman fungsional. Baru-baru ini saya mengetahui bahwa Tesis Gereja-Turing juga menunjukkan …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Per rekomendasi saya memposting ulang ini dari Stack Overflow . Baru-baru ini saya telah memikirkan masalah berikut. Pertimbangkan kode untuk standar "Halo dunia!" program: main() { printf("Hello World"); } Sekarang hampir semua perubahan dalam kode ini akan membuatnya benar-benar tidak berguna, bahkan hampir setiap perubahan akan mencegah kompilasi kode. Sebagai …

23 programming-languages  computation-models 

Jadi saya berpikir tentang cara kerja pengumpul sampah dan saya memikirkan masalah yang menarik. Agaknya pengumpul sampah harus melintasi semua struktur dengan cara yang sama. Mereka tidak dapat mengetahui cuaca mereka melintasi daftar tertaut atau pohon seimbang atau apa pun. Mereka juga tidak dapat menggunakan terlalu banyak memori dalam pencarian …

23 programming-languages  memory-management  garbage-collection 

Saya ingin mengajukan beberapa pertanyaan tentang bahasa Majelis. Pemahaman saya adalah bahwa itu sangat dekat dengan bahasa mesin, membuatnya lebih cepat dan lebih efisien. Karena kita memiliki arsitektur komputer berbeda yang ada, apakah itu berarti saya harus menulis kode yang berbeda di Majelis untuk arsitektur yang berbeda? Jika demikian, mengapa …

23 programming-languages  computer-architecture 

Singkatnya: bagaimana sistem tipe dikategorikan dalam konteks akademik; khususnya, di mana saya dapat menemukan sumber yang memiliki reputasi baik yang membuat perbedaan antara berbagai jenis sistem yang jelas? Dalam arti, kesulitan dengan pertanyaan ini bukan karena saya tidak dapat menemukan jawaban, tetapi saya dapat menemukan terlalu banyak, dan tidak ada …

23 reference-request  programming-languages  type-theory 

Saya tahu bahwa, dalam bahasa pemrograman imperatif, loop sementara-lakukan sudah cukup sebagai konstruk aliran kontrol untuk membuat bahasa Turing-lengkap (sejauh aliran kontrol berlangsung - tentu saja kita juga memerlukan memori tidak terbatas dan operator tertentu ...) . Inti dari pertanyaan saya adalah: apakah loop do-while memiliki kekuatan komputasi yang sama …

22 programming-languages  turing-completeness  loops  imperative-programming 

Mungkin pemahaman saya yang terbatas tentang subjek ini tidak benar, tetapi sejauh ini yang saya mengerti: Pemrograman fungsional didasarkan dari Lambda Calculus, yang dirumuskan oleh Gereja Alonzo. Pemrograman imperatif didasarkan pada model mesin Turing, yang dibuat oleh Alan Turing, siswa Gereja. Kalkulus Lambda sama kuat dan mampu dengan Mesin Turing, …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Apa perbedaan antara bahasa pemrograman dan bahasa scripting? Sebagai contoh, pertimbangkan C versus Perl. Apakah satu-satunya perbedaan bahwa bahasa scripting hanya membutuhkan penerjemah dan tidak memerlukan kompilasi dan penautan?

20 programming-languages 

Dalam esai terkenal Richard Gabriel The Rise of Worse is Better , ia membandingkan versi karikatur dari MIT / Stanford (Lisp) dan filosofi desain New Jersey (C / Unix) di sepanjang sumbu kesederhanaan, kebenaran, konsistensi, dan kelengkapan. Dia memberikan contoh dari "masalah PC kalah" ( dibahas di tempat lain oleh …

20 programming-languages  operating-systems 

Diberi sistem transisi berlabel , di mana adalah seperangkat status, adalah seperangkat label, dan adalah hubungan terner. Seperti biasa, tulis untuk . Transisi berlabel menunjukkan bahwa sistem dalam keadaan mengubah status ke dengan label , yang berarti bahwa adalah beberapa tindakan yang dapat diamati yang menyebabkan perubahan keadaan.S Λ → …

20 programming-languages  formal-methods  semantics  process-algebras 

Saya memulai penelitian bibliografi pribadi tentang algoritme pemeriksaan-jenis dan ingin beberapa kiat. Apa saja algoritma pengecekan tipe, strategi dan teknik umum yang paling umum digunakan? Saya khususnya tertarik pada algoritma pemeriksaan tipe kompleks yang diimplementasikan dalam bahasa yang diketik sangat dikenal statis seperti, misalnya, C ++, Java 5+, Scala atau …

19 algorithms  programming-languages  reference-request  type-checking 

Profesor kami meminta kami untuk memikirkan fungsi dalam OCaml yang memiliki tipe 'a -> 'b yaitu fungsi dari satu argumen yang bisa berupa apa saja, dan yang dapat mengembalikan apa pun yang berbeda. Saya berpikir untuk menggunakan raisefungsi yang mengabaikan argumennya: let f x = raise Exit Tetapi profesor mengatakan …

19 programming-languages  typing  functional-programming