«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.

3
Aşamalı fonksiyonlar nelerdir (kavramsal olarak)?
Yakın tarihli bir CACM makalesinde [1], yazarlar aşamalı işlevler için bir uygulama sunmuştur . Terimi iyi bilinen bir terim olarak kullanıyorlar ve referansların hiçbiri açık bir giriş gibi görünmüyor. Kısa bir açıklama yaparlar (vurgunun madeni ve referans numarası değiştirildi; aslında 22 oldu) Program oluşturma bağlamında, Taha ve Sheard [2] tarafından …
3
SML'deki functors ile Kategori teorisi arasındaki ilişki nedir?
Andrej Bauer'ın bu cevabındaki ifadesiyle aynı düşünce boyunca Haskell topluluğu, kategori teorisinden esinlenerek, monadlarının en iyi bilinen fakat monadlarla karıştırılmaması gereken birkaç teknik geliştirmiştir . Arasındaki ilişki nedir functors SML ve functors Kategori teoride? Haskell veya OCaml gibi diğer dillerde functorların ayrıntılarını bilmediğim için, eğer değer bilgisi varsa, lütfen diğer …
2
Herhangi bir programlama dili genel özyinelemeli işlevleri temel olarak kullanıyor mu?
Bu naif ve bu nedenle, muhtemelen yanlış biçimlendirilmiş bir soru, şimdiden özür dileriz! Benim görüşüme göre, bir Turing Makinesi, işlemsel / zorunlu programlama dilleri için hesaplama temeli olarak görülebilir. Benzer şekilde, lambda matematiği, fonksiyonel programlama dilleri için temeldir. Son zamanlarda Kilise Turing Tezi'nin de üçüncü bir hesaplama modeliyle karşılıklı denklik …
8
Her ifadenin anlamlı olduğu programlama dili
Tavsiyeye göre bunu Stack Overflow'tan tekrar gönderiyorum . Son zamanlarda aşağıdaki konuyu düşünüyorum. Standart bir "Merhaba dünya!" Kodunu düşünün. Program: main() { printf("Hello World"); } Şimdi bu koddaki hemen hemen her değişiklik onu tamamen işe yaramaz hale getirecek, aslında hemen hemen her değişiklik kodun derlenmesini önleyecektir. Örneğin: main(5 { printf("Hello …
4
Çöp toplayıcıları yığın taşmasını nasıl önler?
Böylece çöp toplayıcıların nasıl çalıştığını düşünüyordum ve ilginç bir konu düşündüm. Muhtemelen çöp toplayıcıları tüm yapıların aynı şekilde geçiş yapması gerekir. Bağlantılı bir listeden ya da dengeli bir ağaçtan ya da her neyse geçtikleri havayı bildiklerini bilmiyorlar. Ayrıca, aramalarında çok fazla bellek kullanamazlar. Olası bir yol ve TÜM yapıları geçmeyi …
3
Tip sistemlerinin sınıflandırılması (güçlü / zayıf, dinamik / statik)
Kısacası: tip sistemleri akademik bağlamda nasıl kategorize edilir; özellikle, farklı türdeki sistemler arasındaki farkları netleştiren saygın kaynakları nereden bulabilirim? Bir anlamda, bu sorunun zorluğu bir cevap bulamıyorum, aksine çok fazla şey bulabiliyorum ve hiçbiri doğru olarak öne çıkmıyor. Arka plan şu anda aşağıdaki farklılıkları iddia eden Haskell wiki ile ilgili …
1
Bir do-while döngüsü Turing eksiksizliği için yeterli midir?
Zorunlu programlama dillerinde, bir süre bitim döngüsünün dili Turing'in tamamlaması için bir kontrol akışı kurgusu olarak yeterli olduğunu biliyorum (kontrol akışı devam ettiği sürece - tabii ki sınırsız belleğe ve bazı operatörlere de ihtiyacımız var ...) . Benim sorumun özü şudur: bir süre-süresi döngüsü, bir süre-süresi döngüsü ile aynı hesaplama …
5
İşlevsel diller neden Turing tamamlandı?
Belki de konuyla ilgili sınırlı bir anlayışım yanlıştır, ancak şu ana kadar anladığım şey bu: İşlevsel programlama, Alonzo Church tarafından formüle edilen Lambda Calculus'a dayanmaktadır. Zorunlu programlama, Church'un öğrencisi Alan Turing tarafından yapılan Turing makine modeline dayanmaktadır. Lambda hesabı, Turing Makinası gibi güçlü ve muktedir olduğunu onlar hesaplama kapasitesiyle eşdeğerdir …
7
Unix / C'deki tutarsızlık ve eksiklik örnekleri nelerdir?
Richard Gabriel'in ünlü makalesinde The Rise of Worse is Better , basitlik, doğruluk, tutarlılık ve bütünlük eksenleri boyunca MIT / Stanford (Lisp) ve New Jersey (C / Unix) tasarım felsefelerinin karikatürize versiyonlarını karşılaştırıyor. Unix'in arayüz basitliğine göre uygulamanın basitliğine öncelik verdiğini iddia etmek için "PC kaybeden sorunu" ( Josh Haberman …
3
'A ->' b tipi ML fonksiyonu
Profesörümüz bizden OCaml'de böyle bir işlevi düşünmemizi istedi 'a -> 'b yani bir argümanın herhangi bir şey olabilen ve farklı bir şey döndürebilen bir işlevi. raiseArgümanını göz ardı eden bir işlevde kullanmayı düşündüm : let f x = raise Exit Ancak profesör, standart kütüphanede herhangi bir işlev gerektirmeyen bir çözüm …
2
Tip kontrol algoritmaları
Tip kontrol algoritmaları hakkında kişisel bir bibliyografik araştırma başlatıyorum ve bazı ipuçları istiyorum. En sık kullanılan tip kontrol algoritmaları, stratejileri ve genel teknikler nelerdir? Özellikle, C ++, Java 5+, Scala veya diğerleri gibi yaygın olarak bilinen güçlü statik yazılan dillerde uygulanan karmaşık tür denetleme algoritmalarıyla ilgileniyorum. IE, temel dilin çok …
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.