«pl.programming-languages» etiketlenmiş sorular

Birkaç kategori teorisi öğreniyorum. Bu kesinlikle şeylere bakmanın farklı bir yoludur. (Görmemişler için çok kaba bir özet: kategori teorisi, her türlü matematiksel davranışı yalnızca nesneler arasındaki fonksiyonel ilişkiler açısından ifade etmenin yollarını sunar. Örneğin, iki kümenin Kartezyen ürünü gibi şeyler tamamen tanımlanmıştır. setin hangi elemanları olduğu anlamında değil, diğer fonksiyonların …

103 pl.programming-languages  lo.logic  ct.category-theory 

Matematikçiler bazen Seçim Aksiyomu (AC) ve Belirlilik Aksiyomu (AD) hakkında endişe duyuyorlar. Seçme aksiyomu : Herhangi koleksiyon Verilen boş olmayan kümeler, orada bir fonksiyondur f kümesi verilen bu S içinde C , bir üyesini döndürür S .CC{\cal C}fffSSSCC{\cal C}SSS Belirsizlik Aksiyomu : , sonsuz uzun bit dizeleri kümesi olsun . …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

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 

Bir günü farklı bir iş parçacığı , Andrej Bauer denotasyonel semantiğini olarak tanımlanır: Bir programın anlamı, parçalarının anlamlarının bir fonksiyonudur. Beni bu tanımdan rahatsız eden şey, yaygın olarak kasten çıkmayan anlambilim, yani yapısal operasyonel anlambilim olarak düşünülen şeyden, kimi anlamsal anlambilim olarak düşünülen şeyleri ortaya çıkarmamış gibi görünmesidir . Daha …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Lambda hesabı kullanarak bir algoritmanın zaman karmaşıklığını hesaplamanın faydaları var mı? Yoksa bu amaç için tasarlanmış başka bir sistem var mı? Herhangi bir referans takdir edilecektir.

43 lambda-calculus  pl.programming-languages  time-complexity 

Bilgisayar programlarının gittikçe artan karmaşıklığı ve gittikçe önem taşıyan konum bilgisayarları toplumumuzda var ve neden kodun doğru çalıştığına dair resmi bir kanıt vermek zorunda olduğunuz programlama dillerini neden toplu olarak kullanmadığımızı merak ediyor. Terimin 'onaylayıcı bir derleyici' olduğuna inanıyorum ( burada buldum ): bir kodun yalnızca kodu yazması gereken değil, …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Bilgisayar biliminde geçmişi olan birine bile düzenli bir ifadenin ne olduğunu sorun ve cevabın sonlu durumlu bir otomatın erişme sınırının ötesine geçmesi muhtemel. Örneğin, “normal ifade” /^1?$|^(11+?)\1+$/ belirtilen Perl kişiliği Abigail tarafından yaratıldı (ve 2002'den beri Perl'in test grubunun bir parçası ), yalnızca bileşik olan tek sayıları kabul eden bir …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

İyi bilinen algoritmaların çoğu, giriş ve çıkışlarının "düz" veri olduğu anlamında birinci derecedendir. Bazıları, örneğin sıralama, karma tablolar veya harita ve katlama işlevleri gibi önemsiz bir şekilde ikinci derecedir: bir işlev tarafından parametrelendirilirler, ancak diğer girdi verilerinin parçalarına çağrılması dışında gerçekten ilginç bir şey yapmazlar. Bazıları ayrıca ikinci dereceden fakat …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Tip sınıflarını anladığımı sanmıyorum. Bir yerde, tip sınıflarını bir tipin uyguladığı “OO'dan” (“OO”) arayüzler olarak düşünmenin yanlış ve yanıltıcı olduğunu okudum. Sorun şu ki, onları farklı bir şey olarak görme konusunda sorun yaşıyorum ve bunun nasıl yanlış olduğunu. Örneğin, bir tür sınıfım varsa (Haskell sözdiziminde) class Functor f where fmap …

33 pl.programming-languages  type-theory  type-systems 

Gibi bazı genel tartışmalar ruhuyla bu one, ben görüşler toplamak niyetiyle Konuyu açıyorum programlama dillerde araştırmalarda açık zorluklar ve sıcak konular nelerdir . Umarim bu tartisma programlama dillerinde arastirma gelecegine iliskin fikirleri bile getirebilir. Bu tür bir tartışmanın, kendim gibi PL ile ilgilenen yeni öğrenci araştırmacılara ve zaten biraz da …

32 pl.programming-languages  open-problem  research-practice 

Tüm girişleri durduran ve hiçbiri olmayan tüm makinelere izin veren bir programlama dili yazmak mümkün değildir. Bununla birlikte, herhangi bir standart karmaşıklık sınıfı için böyle bir programlama dilini tanımlamak kolay görünmektedir. Özellikle, tüm verimli hesaplamaları ve sadece verimli hesaplamaları ifade edebileceğimiz bir dil tanımlayabiliriz. Örneğin, gibi bir şey için : …

32 cc.complexity-theory  computability  pl.programming-languages 

Bağımlı tipler ve programlama sözleşmeleriyle ilgili bazı makaleler okudum. Okuduklarımın çoğundan, sözleşmelerin dinamik olarak kontrol edilen kısıtlamalar olduğu ve bağımlı türlerin statik olarak kontrol edildiği görünüyor. Kısmen statik olarak kontrol edilen sözleşmelerin mümkün olabileceğini düşündüren bazı makaleler var: Hibrit Tip Kontrolü (C. Flanagan - 2006) Hibrit Çeşitlerini ve Sözleşmeleri Birleştirme …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

Nielson ve Nielson'un " Uygulamalar ile Semantik " adlı kitabını okudum ve konuyu gerçekten beğendim. Programlama dili anlambilimi hakkında bir kitap daha istiyorum - ancak gerçekten sadece bir tane alabilirim. Turbak / Gifford kitabına bir göz attım ama çok uzun soluklu; Winskel'in iyi olacağını düşünmüştüm, ancak erişimim yok (Üniversite kütüphanemizde …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Tüm fonksiyonların kanonik bir formda olduğu (fonksiyonel) programlama dilleri var mı? Yani, tüm girdiler için aynı değerleri döndüren herhangi iki işlev aynı şekilde temsil edilir, örneğin f (x) x + 1'i döndürür ve g (x) x + 2'yi döndürürse, sonra f (f (x) )) ve g (x), program derlenirken ayırt …

29 computability  pl.programming-languages  functional-programming  function 

Programın denkliğini kanıtlayan yöntemler üzerinde çalışan bir acemiyim. İki programın eşdeğer olduğunu kanıtlamak için mantıksal ilişkilerin veya simülasyonların tanımlanması hakkında birkaç makale okudum. Ancak bu iki teknik hakkında kafam oldukça karıştı. Ben sadece simülasyonlar ortaklaşa dayanırken, mantıksal ilişkilerin indüktif olarak tanımlandığını biliyorum. Neden bu şekilde tanımlanıyorlar? Sırasıyla artıları ve eksileri …

29 lo.logic  pl.programming-languages  logical-relations  parametricity