«imperative-programming» etiketlenmiş sorular

Fonksiyonel programlama, lambda matematiği ve birleştirme mantığında teorik bir temele sahiptir . İstatistiksel hesaplama yapan biri olarak, bu kavramları modelleme için çok faydalı buluyorum. Zorunlu programlamanın eşdeğer bir matematiksel temeli var mı , yoksa sadece makine dilinde ve ardından FORTRAN'ın geliştirilmesinde pratik donanım uygulamasından çıktı mı?

48 imperative-programming  pl.programming-languages 

Muhtemelen PL'deki lineer tiplerin en yaygın uygulaması, bunları takma işlemini kontrol eden dilleri vermek için kullanmaktır (yani, lineer bir değer, kendisine veya daha azına tek bir işaretçiye sahiptir). Ancak bu kullanım ile tipik mantıksal ifade modelleri arasında hafif bir uyumsuzluk var. IIRC, Benton, bir Kartezyen kapalı kategorisinin güçlü bir değişmeli …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Anthony Aaby'in Anlambilim üzerine "Programlama Dillerine Giriş" bölümünde aşağıdaki gözlemi yapar: Programlama dillerinin anlambilimindeki çalışmaların çoğu, zorunlu programları --- atama komutları olan programları oluşturmaya ve anlamaya çalışırken karşılaşılan sorunlar tarafından motive edilir. Atama komutu değerleri değişkenlere yeniden atar, bu atamanın programın uzak bölümlerinde beklenmeyen etkileri olabilir. Bu dikkat çekici bir …

19 imperative-programming  semantics  big-picture 

Simon Peyton Jones'un Fonksiyonel Programlama Dillerinin Uygulanması'nı okuyorum ve beni biraz şaşırtan bir ifade var (sayfa 39): Zorunlu diller için olandan çok daha büyük ölçüde, işlevsel diller nispeten az anlamsal farklılıklarla birbirlerinin büyük ölçüde sözdizimsel varyasyonlarıdır. Şimdi, bu 1987'de yazıldı ve bu konudaki düşüncelerim o zamanlar etrafta olmayan veya popüler …

17 functional-programming  semantics  imperative-programming 

Zorunlu diller için tip sistemleri hakkında araştırma makaleleri araştırmamda, yalnızca değiştirilebilir referanslara sahip, ancak bileşik operatörler, döngüler veya koşullu gibi gerçek zorunlu kontrol yapıları olmayan bir dile çözümler buluyorum. Dolayısıyla, http://rust-lang.org gibi kısmi tür çıkarımlı zorunlu bir dilin nasıl uygulanabileceği açık değildir . Makaleler, parametrelenmiş tiplerin List of aHindley-Milner tip …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming