«programming-languages» etiketlenmiş sorular

Teorik olarak hiçbir uygulamanın bulunamayacağı bir programlama dili belirtmek mümkün mü? Programlama dili işlevleri tanımlamanın bir yoludur. Bir uygulama, belirli bir girdiyi, o girdideki programa karşılık gelen işlevin çıktısına verilen bir girdide o dilde yürütmek için bir yöntem anlamına gelir. Böyle bir dilin asgari gereksinimleri nelerdir?

11 formal-languages  computability  programming-languages 

Bir C ++ geçmişinden geliyor Neden bir birinci sınıf vatandaş olarak türleri / tip ifadeleri ihtiyacı anlamıyorum? Bu özelliği destekleyen tek dil Aldor. Birinci sınıf vatandaş olarak tiplerle ilgili literatürü olan veya faydalı olmasının bazı nedenlerini bilen var mı?

10 programming-languages  language-design  types 

Fonksiyonlar veya hesaplamalar için aşağıdaki gibi terimlerimiz vardır: Deterministik - Determinizm Saf - Saflık Şimdi, yan etkisiz için doğru karşılık gelen isim nedir? "Yan etki freeness"? "Yan etki özgürlüğü" mü? "Non-yan etkili"?

10 terminology  programming-languages 

Önümüzdeki sonbaharda lisans bilgisayar bilimi dersine başlıyorum, ancak fonksiyonel programlama bağlamında λ-hesabını gerçekten anlayamıyorum. Bunu tamamen yanlış yorumlayabilirim, ancak Stanford Felsefe Ansiklopedisi'nin bu tanımına dayanarak, işlevler için sadece bir başka gösterim. O takdirde ise sadece, neden algoritma çalışma süresini hesaplamak için düzenli fonksiyon gösterimler aşırı kalkülüs λ kullanmak avantajlı olduğunu?

10 programming-languages  lambda-calculus 

Anonim (lambda) fonksiyonlar nelerdir? İşlevsel bir programlama dilinde anonim bir işlevin biçimsel tanımı nedir? Basit bir deyişle, şema / lisp programlarken anonim (lambda) işlevinin tanımlayıcıya bağlı olmayan bir işlev olduğunu söyleyebilirim. Bir lambda fonksiyonu hakkında resmen söyleyebileceğin bu mu? Bu basit tanıma eklenebilecek daha fazla ayrıntı olduğunu düşünüyorum. Lütfen detaylandırın …

10 logic  programming-languages  lambda-calculus  functional-programming 

işlevini ancak f yalnızca hesaplanabilir iki işlevli ise , uygulayabilen (veya ifade edebilen) programlama dilleri (veya mantığı) var mı?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Merak ediyorum. OCaml'de bu veri türü üzerinde çalışıyorum : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Hangi açıkça yazılmış özyinelemeli işlevler (oldukça yakın zamanda eklenen bir özellik) kullanılarak manipüle edilebilir. Misal: let rec …

10 logic  programming-languages  coq  inductive-datatypes 

OO ve Fonksiyonel programlamadaki farklılıkları özetleyen bir makaleyi okurken , fonksiyon göstergelerine rastladım. Bilgisayar Bilimi diplomamı (2003) tamamladığımdan bu yana bir süre geçti ve hafızamı yenilemek için işaretçiler aradım. İşaretçiler bir bellek adresine başvuru içeren değişkenlerdir. Bu tür bir veri varsa, o bellek adresinde bulunan verileri işaret ettikleri düşünülebilir. Veya …

10 terminology  programming-languages 

Ben bir bilgisayar bilimi öğrencisiyim. Kendi programlama dilimi oluşturmak istiyorum (Birkaç talimat içeren temel bir dil). Sözdizimsel bir çözümleyicinin nasıl yapılacağını biliyorum, zaten Perl'de yaptım. Bir makalede, derleyici hakkında bir şey okudum, kendi içinde bir derleyici yapılır. Örneğin C derleyicisi C dilinde yazılmıştır. Nasıl mümkün olabilir? Kendi dilimi yapabilirim ama …

10 programming-languages  compilers 

Genellikle while döngüsü için yapısal işlemsel anlamsal gösterimde program durumunun değişmediğini görüyorum: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Benim için, bu sezgisel değil, eğer durum değişmezse (yani belleğin durumu aynı kalır) BBB …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Programlama dilleri için uygulama tekniklerini araştırıyorum ve son zamanlarda, sözde bir devam geçen stil modeli (örneğin Scheme ve SML / NJ'de kullanımları göz önüne alındığında) için uygun olan spagetti yığınlarına rastladım . Basitçe söylemek gerekirse, bu soru için sadece tek iş parçacıklı süreçleri ele alalım. Ancak, Wikipedia'daki diyagramda ( başka …

9 data-structures  programming-languages  continuations 

Gelen Programlama Dilleri Kavramları , John Mitchell statik tür denetlemesi nedeniyle Durma Problemi ait (aşırı sıkı) mutlaka muhafazakar olduğunu yazıyor. Örnek olarak verir: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Birisi gerçekten pratik bir endişe yaratacak bir cevap veremez mi? Java, böyle durumlar için dinamik olarak kontrol edilen dökümlere izin verdiğini …

9 programming-languages  compilers  type-checking 

Bölüm 1'de Programlama Dilleri için Pratik Vakıflar , yazar soyut sözdizimi ağaçlar ile ilişkili olduğunu bahseder türlü . Sezgisel olarak, türler tür gibidir, ancak kesin bir tanımları olup olmadığını bilmek isterim. Bazı referanslar da sağlanırsa çok sevinirim.

9 terminology  programming-languages  semantics 

Ben de düşünüyorum Peterson algoritması için karşılıklı dışlama işlemi ilk kritik bölümüne girmek için eğer ölmek veya diğer süreç döngü sonsuza kadar kritik bölümünü girmek için bekleyen olurdu iptal edildi. Resimde, işlem 1 durdurulursa, işlem 1'in arkasındaki işlemlerin geri kalanı, işlem 1'in bulunduğu yere kadar yürütülür, ancak daha sonra döngü …

9 programming-languages  concurrency  mutual-exclusion