«pl.programming-languages» etiketlenmiş sorular

Programlama dilleri, özellikle semantiklerine odaklanır.

3
Okuyucu, Yazar Monad'ları
Let CCC bir olmak CCC . Let (×)(×)(\times) bir ürün bifunctor olmak CCC . As Kedi CCC, biz köri olabilir (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Fonksiyonel kategori C⇒CC⇒CC \Rightarrow C olağan monoidal yapıya sahiptir. Bir monoid C⇒CC⇒CC …
2
Teorik bilgisayar bilimleri araştırmalarında kategori teorisinin ve monadların statükosu?
Arkaplan . Kategori teorisi, monadlar ve Haskell ile ilgili araştırmalarla ilgilenen bir lisans öğrencisiyim ve bu alanda lisans tezim için bir konu bulmak istiyorum. Gazeteye baktım Eugenio Moggi , “ Hesaplamalar ve Monadlar Kavramı ”, 1991, ve henüz çok fazla anlamadım. Muhtemelen tam olarak anlamak için biraz zamana ihtiyacım olacak. …
1
Pi hesabında yayınları nasıl modelleyebilirsiniz?
Pi-hesabında güvenilir yayınları modelleyebilir misiniz? Öyleyse nasıl? Değilse: Yapabileceğiniz benzer işlem cebirleri var mı? Ne denedim: Gönderen Eğer bir mesaj göndermek isteyen herkese için , yazabilirsiniz ! ( ve için . Ancak nin defa kopyalandığını , yani hiçbir iletinin kaybolmadığını nasıl garanti edersiniz? Bilmiyorum peşin. İlgili tüm işlemler arasında ileri …
3
Tür teorisinde tümevarım tanımlarında yordayıcılığın rolü nedir?
Sıklıkla bazı çıkarım kurallarına göre bir nesneyi tanımlamak istiyoruz . Bu kurallar , monotonik olduğunda, en az sabit bir nokta veren bir üretme fonksiyonu belirtir . Biz almak ve "endüktif tanımı" olmaya . Dahası, tekdüzeliği, bir kümenin ne zaman içerdiğini (yani bir mülkiyet evrensel olarak tuttuğunda ) belirlemek için "indüksiyon …
3
Yabancı işlev arayüzlerini (FFI) ve çoklu dil bağlarını tanımlayan herhangi bir programlama dili teorisi var mı?
Yabancı işlev arayüzlerini (FFI) ve çoklu dil bağlarını tanımlayan herhangi bir programlama dili teorisi var mı? Burada uygun olmayan stackoverflow üzerinde bazı uygulama sorunları sordum . Ama bu sitenin bakış açısıyla sormak ve buradan ne alabileceğimi görmek istiyorum. Cevabınızı gerçekten takdir ediyorum! Dave Clarke'a yaptığı yanıt için teşekkürler ！
4
Kendi kaynak kodu hakkında program akıl yürütme
Bu sorunun ilham kaynağı şu (belirsiz) sorudur: AI'nın kendi kaynak kodu hakkında akıl yürütüp onu değiştirebilecek programlama dili / mantıksal temelleri nelerdir? Bu çok titiz değil, işte burada somut bir soru çıkarmaya çalışıyorum. İlgilendiğim iki şey var: (A) Kendi programlarını bir veri tipi Programı (örn., AST olarak) olarak temsil edebilen …
2
Full Completeness vs Full Abstraction program çevirileri
Derleyici doğrulama çabaları genellikle derleyicinin tam olarak soyut olduğunu kanıtlamaya başlar: (bağlamsal) denklikleri koruduğu ve yansıttığı. Tam soyutlama kanıtları sağlamak yerine, Hasegawa [ 1 , 2 ] ve Egger et. Tarafından yapılan bazı yeni (kategorik tabanlı) derleyici doğrulama çalışmaları . ark. [ 3 ] çeşitli CPS çevirilerinin eksiksiz olduğunu kanıtlamıştır. …
1
MALL + kısıtsız özyinelemeli Turing-complete mi?
Y birleştiricisi veya omega birleştiricisi gibi türlenmemiş lambda hesabındaki özyinelemeli birleştiricilere bakarsanız: Tüm bu birleştiricilerin tanımlarında bir yerde bir değişkeni kopyaladıkları açıktır.ωY==(λx.xx)(λx.xx)λf.(λx.f(xx))(λx.f(xx))ω=(λx.xx)(λx.xx)Y=λf.(λx.f(xx))(λx.f(xx)) \begin{array}{lcl} \omega & = & (\lambda x.\,x\;x)\;(\lambda x.\,x\;x)\\ Y & = & \lambda f.\,(\lambda x.\,f\;(x\;x))\; (\lambda x.\,f\;(x\;x)) \\ \end{array} Ayrıca, bu birleştiricilerin tümü, yinelenen tiplerle μ α ile …
2
Yarı PER / çift işlevli ilişkiler / zikzak ilişkilerinin kullanımı?
AAA ve kümeleri verildiğinde BBB, aralarındaki iki işlevli bir ilişki (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B , aşağıdaki özelliği karşılayan bir ilişki olarak tanımlanır: Eğer a∼ba∼ba \sim b ve a′∼b′a′∼b′a' \sim b' ve a∼b′a∼b′a \sim b' , sonra a′∼ba′∼ba' \sim b . İki yönlü ilişkiler, farklı kümelerden eşitlik kavramını tanımlamaya izin …
4
Tek parametriklik ve ikili parametriklik
Bernardy ve Moulin'in 2012 LICS belgesini ( https://dl.acm.org/citation.cfm?id=2359499 ) gördükten sonra yakın zamanda parametrikliğe oldukça ilgi duydum . Bu yazıda, tek tipli parametrikliği, bağımlı tiplere sahip saf tip bir sistemde içselleştiriyorlar ve yapıyı keyfi varlıklara nasıl genişletebileceğinize dair ipucu veriyorlar. Daha önce tanımlanan ikili parametrikliği gördüm. Benim sorum şudur: ikili …
3
Ne zaman iki programın farklı olduğunu söyleyebiliriz?
S1. İki programın (C ++ gibi bazı programlama dillerinde yazılmış) farklı olduğunu ne zaman söyleyebiliriz? İlk uç nokta, iki programın aynı olması durumunda eşdeğer olduğunu söylemektir. Diğer uç nokta, aynı işlevi hesaplayan (veya benzer ortamlarda aynı gözlemlenebilir davranışı gösteren) iki programın eşdeğer olduğunu söylemektir. Ancak bunlar iyi değildir: ilkeliği kontrol …
1
Listedeki siparişin
Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …
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.