«programming-languages» etiketlenmiş sorular

Programlama dillerinin tasarımı, uygulanması ve analizi ile ilgili sorular. Bu sitede konu dışı olan programlamanın nasıl yapılacağı ile ilgili sorular için DEĞİLDİR.

12
Neden bu kadar çok programlama dili var?
C / C ++ 'da oldukça akıcıyım ve çeşitli betik dilleri (awk / sed / perl) etrafında dolaşabilirim. Python'u çok daha fazla kullanmaya başladım çünkü C ++ 'ın bazı şık yönlerini awk / sed / perl komut dosyası yetenekleriyle birleştiriyor. Fakat neden bu kadar çok farklı programlama dili var? Bütün …
5
Neden bazı programlama dilleri diğerlerinden daha "daha hızlı" ya da "daha yavaş"?
Bir programlama dili üzerine kurulu bazı uygulamaların veya algoritmaların, aynı makinede çalışan Java / Node.js adlı dilden daha hızlı veya daha hızlı çalıştığını söylüyorlar. Bununla ilgili birkaç sorum var: Bu neden oluyor? Bir programlama dilinin "hızını" ne yönetir? Bunun bellek yönetimi ile bir ilgisi var mı? Birisi bunu benim için …
9
Bir programlama dilinin hangi özellikleri derlemeyi imkansız kılar?
Soru: "Bir programlama dilinin belirli özellikleri, içine kod yazılmasının tek yolunun yorumlanması gerekmesini gerektirebilir. Diğer bir deyişle, geleneksel bir CPU'nun yerel bir makine koduna derlemek mümkün değildir. Bu özellikler nelerdir?" Derleyiciler: Parag H. Dave ve Himanshu B. Dave İlkeleri ve Uygulaması (2 Mayıs 2012) Kitap cevap hakkında hiçbir ipucu vermiyor. …
6
Uygulamada resmi program doğrulama
Bir yazılım mühendisi olarak, endüstriyel ürünler için çok fazla kod yazıyorum. Sınıflar, iplikler, bazı tasarım çabaları ile nispeten karmaşık şeyler, fakat aynı zamanda performanstan ödün verir. Çok fazla test yapıyorum ve test yapmaktan bıktım, bu yüzden Coq, Isabelle gibi resmi kanıt araçlarına ilgi duydum ... Kodumun hatasız olduğunu ve yapıldığını …
14
Programlama dillerini öğrendiğimi aileme nasıl açıklayabilirim?
Şu anda bilgisayar bilimleri yüksek lisansımı bitirdim. Programlama dilleriyle, özellikle tip sistemlerle ilgileniyorum. Bu alanda araştırma yapmak ilgimi çekti ve önümüzdeki dönem konu ile ilgili doktora yapacağım. Şimdi gerçek soru şudur: Bilgisayar bilimi veya ilgili alanlarda önceden bilgisi olmayan insanlara ne yapmak istediğimi nasıl açıklayabilirim? Bu başlık, aileme, arkadaşlarıma ve …
10
Ruby / Python gibi dinamik bir dil C / C ++ benzeri performansa ulaşabilir mi?
Ruby / C + C ++ ile benzer ve karşılaştırılabilir bir performansa sahip Ruby gibi dinamik diller için derleyiciler oluşturmak mümkün olup olmadığını merak ediyorum? Derleyiciler hakkında anladığım kadarıyla, Ruby'yi almak, Ruby kodunu derlemek hiç etkili olamaz çünkü Ruby'nin yansıma işlemlerini yapma biçimi, tamsayıdan büyük tamsayıya otomatik tür dönüştürme gibi …
3
Bağımlı tipler ve arıtma tipleri
Birileri bağımlı tipler ile arıtma tipleri arasındaki farkı açıklayabilir mi? Anladığım kadarıyla bir geliştirme türü, bir yüklemeyi yerine getiren bir türün tüm değerlerini içerir. Onları ayıran bağımlı türlerin bir özelliği var mı? Eğer yardımcı olursa, Liquid Haskell projesi ile Rafine tiplerine ve Coq ve Agda üzerinden bağımlı tiplere rastladım. Bu, …
9
Güvenli bir programlama dili nedir?
Güvenli programlama dilleri (PL) popülerlik kazanıyor. Güvenli PL'nin resmi tanımının ne olduğunu merak ediyorum . Örneğin, C güvenli değil ancak Java güvenlidir. “Güvenli” özelliğinin PL'nin kendisinden ziyade bir PL uygulamasına uygulanması gerektiğinden şüpheleniyorum. Eğer öyleyse, güvenli PL uygulamasının bir tanımını tartışalım. Bu fikri biçimlendirme girişimlerim tuhaf bir sonuca yol açtı, …
8
Değişkenler program yığında nasıl saklanır ve alınır?
Bu sorunun naifliği için şimdiden özür dilerim. Bilgisayarları ilk kez doğru bir şekilde anlamaya çalışan 50 yaşında bir sanatçıyım. Yani işte gidiyor. Veri türlerinin ve değişkenlerinin bir derleyici tarafından nasıl işlendiğini anlamaya çalışıyorum (çok genel anlamda, bunun çok fazla olduğunu biliyorum). "Yığın" içindeki depolama ve değer türleri arasındaki ilişkiyi ve …
9
Neden bazı programlama dilleri Turing tamamlandı ama diğer dillerin bazı yeteneklerinden yoksun?
Dış programlara / işlevlere kanca olması gereken bir tercüman yazarken garip bir sorunla karşılaştım: 'C' ve 'C ++' içindeki işlevler değişken işlevlere bağlanamıyor , örneğin 'printf' adında bir işlev yapamıyorum onunla aynı argümanlar ile ve bunun yerine, değişken bir nesneyi alan alternatif bir sürümü çağırmak zorundadır. Bu çok sorunlu çünkü …
2
Nesil çöp toplayıcıları doğal olarak önbellek dostu mudur?
Tipik bir kuşak çöp toplayıcısı , son zamanlarda ayrı bir hafıza bölgesinde tahsis edilmiş verileri tutar. Tipik programlarda, çok fazla veri kısa ömürlüdür, bu nedenle sık sık genç çöplerin toplanması (küçük bir GC döngüsü) ve sık sık eski çöplerin toplanması, bellek yükü ile GC yapmak için harcanan zaman arasında iyi …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.