Pertanyaan yang diberi tag «programming-languages»

Melihat halaman web Julia , Anda dapat melihat beberapa tolok ukur dari beberapa bahasa di beberapa algoritma (timing ditunjukkan di bawah). Bagaimana bahasa dengan kompiler yang awalnya ditulis dalam C, mengungguli kode C? Gambar: waktu benchmark relatif terhadap C (lebih kecil lebih baik, kinerja C = 1.0).

175 programming-languages  compilers  efficiency 

Saya cukup lancar dalam C / C ++, dan dapat berjalan di berbagai bahasa scripting (awk / sed / perl). Saya sudah mulai menggunakan python lebih banyak karena menggabungkan beberapa aspek bagus dari C ++ dengan kemampuan scripting dari awk / sed / perl. Tetapi mengapa ada begitu banyak bahasa …

130 programming-languages 

Saya belajar Haskell dan saya kagum dengan bahasanya. Namun saya tidak memiliki latar belakang matematika atau CS yang serius. Tapi saya seorang programmer perangkat lunak yang berpengalaman. Saya ingin belajar teori kategori sehingga saya bisa menjadi lebih baik di Haskell. Topik apa dalam teori kategori yang harus saya pelajari untuk …

118 programming-languages  functional-programming  category-theory 

Saya telah memperhatikan bahwa beberapa aplikasi atau algoritma yang dibangun pada bahasa pemrograman, katakanlah C ++ / Rust berjalan lebih cepat atau lebih cepat daripada yang dibangun di atas, Java / Node.js, berjalan pada mesin yang sama. Saya punya beberapa pertanyaan tentang ini: Mengapa ini terjadi? Apa yang mengatur "kecepatan" …

82 programming-languages  compilers 

Pertanyaan: "Properti tertentu dari bahasa pemrograman mungkin mensyaratkan bahwa satu-satunya cara agar kode yang tertulis di dalamnya dieksekusi adalah dengan interpretasi. Dengan kata lain, kompilasi ke kode mesin asli dari CPU tradisional tidak dimungkinkan. Apa properti ini?" Penyusun: Prinsip dan Praktek oleh Parag H. Dave dan Himanshu B. Dave (2 …

72 programming-languages  compilers  interpreters 

Sebagai seorang insinyur perangkat lunak, saya menulis banyak kode untuk produk industri. Hal-hal yang relatif rumit dengan kelas, utas, beberapa upaya desain, tetapi juga beberapa kompromi untuk kinerja. Saya melakukan banyak pengujian, dan saya bosan dengan pengujian, jadi saya tertarik pada alat bukti formal, seperti Coq, Isabelle ... Bisakah saya …

66 programming-languages  program-correctness  software-verification 

Saat ini saya sedang menyelesaikan MSc saya dalam ilmu komputer. Saya tertarik pada bahasa pemrograman, terutama dalam sistem tipe. Saya tertarik dalam penelitian di bidang ini dan semester depan saya akan memulai PhD pada subjek. Sekarang inilah pertanyaan sebenarnya: bagaimana saya bisa menjelaskan apa yang saya (ingin) lakukan kepada orang-orang …

64 programming-languages  education  typing  research 

Saya bertanya-tanya apakah mungkin untuk membangun kompiler untuk bahasa dinamis seperti Ruby untuk memiliki kinerja yang mirip dan sebanding dengan C / C ++? Dari apa yang saya pahami tentang kompiler, ambil Ruby misalnya, kompilasi kode Ruby tidak pernah bisa efisien karena cara Ruby menangani refleksi, fitur seperti konversi tipe …

64 programming-languages  compilers 

Bisakah seseorang menjelaskan perbedaan antara tipe dependen dan tipe perbaikan? Seperti yang saya pahami, tipe penyempurnaan berisi semua nilai dari tipe yang memenuhi predikat. Apakah ada fitur tipe dependen yang membedakannya? Jika itu membantu, saya menemukan tipe Refined melalui proyek Liquid Haskell, dan tipe dependen via Coq dan Agda. Yang …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Apakah ada set konstruksi bahasa pemrograman dalam bahasa pemrograman agar Turing Lengkap? Dari apa yang saya dapat katakan dari wikipedia , bahasa perlu mendukung rekursi, atau, tampaknya, harus dapat berjalan tanpa berhenti. Apakah ini semua yang ada untuk itu?

55 computability  programming-languages  turing-machines  turing-completeness 

Bahasa pemrograman aman (PL) semakin populer. Saya ingin tahu apa definisi formal PL yang aman. Misalnya, C tidak aman, tetapi Java aman. Saya menduga bahwa properti "aman" harus diterapkan untuk implementasi PL daripada PL itu sendiri. Jika demikian, mari kita bahas definisi implementasi PL yang aman. Upaya saya sendiri untuk …

54 programming-languages 

Mohon maaf sebelumnya atas kenaifan pertanyaan ini. Saya seorang seniman berusia 50 tahun yang mencoba memahami komputer dengan benar untuk pertama kalinya. Jadi begini. Saya telah mencoba memahami bagaimana tipe data dan variabel ditangani oleh kompiler (dalam arti yang sangat umum, saya tahu ada banyak hal). Saya kehilangan sesuatu dalam …

47 programming-languages  memory-allocation 

Saya menemukan masalah aneh ketika menulis seorang juru bahasa yang (harus) menghubungkan ke program / fungsi eksternal: Fungsi dalam 'C' dan 'C ++' tidak dapat mengaitkan fungsi variadik , misalnya saya tidak dapat membuat fungsi yang memanggil 'printf' dengan argumen yang sama persis yang didapatnya, dan sebagai gantinya harus memanggil …

42 computability  programming-languages  turing-completeness 

Cerpen Seorang ilmuwan komputer terkenal, Tarjan , menulis sebuah buku bertahun-tahun yang lalu. Ini berisi kodesemu yang benar-benar aneh. Apakah seseorang tolong jelaskan? Kisah Panjang Tarjan dikenal dengan banyak prestasi, termasuk fakta bahwa ia adalah seorang coinventor dari pohon-pohon hamparan . Dia menerbitkan sebuah buku, " Struktur Data dan Algoritma …

40 programming-languages 

Seorang pengumpul sampah generasi biasa menyimpan data yang dialokasikan baru-baru ini di wilayah memori yang terpisah. Dalam program tipikal, banyak data berumur pendek, sehingga mengumpulkan sampah muda (siklus GC minor) sering dan mengumpulkan sampah lama jarang merupakan kompromi yang baik antara overhead memori dan waktu yang dihabiskan untuk melakukan GC. …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection