«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
İstisna hiyerarşileri teorisi var mı?
Bir şekilde istisnaları olan bir düzine programlama diline aşinayım, ancak iki "patolojik" eğilime tanık oldum. Ortak bir kalıp veya istisnalar hiyerarşisi yok gibi görünüyor. Her dil temel olarak kendi sürümünü kullanır ve istisnalar standarda dönüştürürse, standartta bulunan istisna türleri oldukça keyfi olacaktır (çoğunlukla kaynak kodunu okumak gibi dil araçları oluştururken …
3
İşlev Dışı Ayarlarda Kapatma Uygulama Sorunları
Programlama dillerinde, kapaklar popüler ve sıklıkla istenen bir özelliktir. Wikipedia diyor ki (benimki vurgu): Bilgisayar biliminde, kapatma (...), o işlevin yerel olmayan değişkenleri için bir referans ortamıyla birlikte bir işlevdir. Kapatma, bir işlevin anlık sözcük kapsamı dışındaki değişkenlere erişmesini sağlar. Dolayısıyla, kapanış esasen değişkenleri kendi kapsamının dışında kullanabilen (anonim?) Bir …
8
OOP uygulamada hangi prosedürel programlama problemlerini çözüyor?
"C ++ Demystified" kitabını inceledim . Şimdi okumaya başladım "Turbo C ++ birinci basımda Nesneye Yönelik Programlama (1. basım)" Robert Lafore'nin . Bu kitapların ötesinde programlama bilgim yok. Bu kitap eski olabilir çünkü 20 yaşında. En son sürüme sahibim, eskiyi kullanıyorum çünkü beğendim, esas olarak sadece C ++ 'da kullanılan …
2
Scott-sürekli fonksiyonlar: alternatif bir tanım
Gerçekten bu özellik ile mücadele ediyorum: Let olmak tutarlılık alanlarda ve olduğu bir monoton fonksiyonu. , tüm için yalnızca iseX,YX,YX,Yf:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y)ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) , öyle ki yönlendirilmiş bir kümesidir.DDD Yönlendirilmiş küme şu şekilde tanımlanır: POSETD⊆D⊆D \subseteq yönlendirilmiş bir dizi IFF olan ∃ z ∈ …
3
Bir dil homoikonik nasıl yapılır
Bu makaleye göre , aşağıdaki Lisp kodu satırı "Merhaba dünya" yı standart çıktıya yazdırır. (format t "hello, world") Homikonik bir dil olan Lisp, kodu veri olarak şu şekilde ele alabilir: Şimdi aşağıdaki makroyu yazdığımızı hayal edin: (defmacro backwards (expr) (reverse expr)) geriye doğru, bir ifadeyi (liste olarak temsil edilir) alan …
5
Bir dili belirli bir görev için “optimize edilmiş” yapan nedir?
Bu yayını iyileştirmek ister misiniz? Alıntılar ve cevabınızın neden doğru olduğuna dair bir açıklama da dahil olmak üzere bu soruya ayrıntılı yanıtlar verin. Yeterli ayrıntı içermeyen yanıtlar düzenlenebilir veya silinebilir. Genellikle belirli görevler için uzmanlaşmış programlama dilleri vardır. Bazı programlama dilleri dizi aritmetiğinde mükemmeldir (matrisler ve çok boyutlu dizilerin kullanımı …
2
PROLOG Turing'i tamamlayan nedir?
PROLOG'un Turing-tamamlandığını kanıtlayabilirim, böyle bir Turing makinesini simüle eden bir program oluşturarak: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, NewSym, Action)), action(Action, Ls0, Ls1, [NewSym|RsRest], …
1
Ürün türleriyle tür çıkarımı
Birleştirici bir dil için bir derleyici üzerinde çalışıyorum ve tür çıkarımı desteği eklemek istiyorum. Hindley-Milner'ı anlıyorum, ama tip teorisini öğrenirken öğrendim, bu yüzden onu nasıl uyarlayacağımdan emin değilim. Aşağıdaki sistem sağlam mı ve karar verilebilir mi? Terim, değişmez bir terim, terimlerin bir bileşimi, bir terimin teklifi veya bir ilkeldir. e::=x∣∣ee∣∣[e]∣∣…e::=x|ee|[e]|… …
4
Bir program dili, programların dil semantiğini genişletmesine izin verecek kadar biçimlendirilebilir mi?
Bir programcının sınıfları tanımladıktan sonra herhangi bir zamanda genişletmesine / geçersiz kılmasına izin veren (String gibi sınıflar dahil) ruby ​​(ve javascript) gibi dillerdeki özelliklere referansla, teorik olarak programların daha sonra genişletilmesine izin verebilecek bir dil tasarlamak mümkün müdür? anlambilimi. örnek: Ruby çoklu kalıtıma izin vermez, ancak çoklu kalıtım uygulamasına izin …
3
Hangi araştırma dilleri Haskell'den daha güçlü bir dizgi sistemine sahiptir ve neden?
İşte bunu okudum: Haskell kesinlikle en gelişmiş tip sistemine sahip değildir (araştırma dillerini sayarsanız bile yakın değildir), ancak aslında üretimde kullanılan tüm dillerden Haskell muhtemelen en üsttedir. Bu yüzden iki şey soruyorum: hangi araştırma dillerinin Haskell'den daha güçlü tip sistemlere sahip olduğu; ne geliştiriyorlar. Ben sadece bir programcıyım, bu yüzden …
7
Negatif dizi indeksleri neden anlamlı?
C programlamasında garip bir deneyim yaşadım. Bu kodu düşünün: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Bunu derleyip çalıştırdığımda herhangi bir hata veya uyarı almıyorum. Öğretim elemanımın dediği gibi dizi dizini -1başka …
3
Analiz ve programlama dili arasındaki fark nedir?
Sanırım matematik ve programlama dili olarak adlandırılan şeyler hakkında oldukça kafam karıştı. Bir analizin, programların denkliği hakkında muhakeme için resmi bir sistem olduğunu düşünmeye eğilimliyim ve söylenmiş olabilirim. Programların, bir makine tarafından belirlenmiş, (bence?) Belirleyici olması gereken işlevsel bir semantiği vardır. Bu şekilde, dili için (doğru) bir hesap , program …
2
Referans istek: Tip sistemleri için geçerli olduğu gibi kategori teorisi
Programlama dili teorisini gerçekten anlamak için kategori teorisini nasıl öğrenmesi gerektiğini duymaya devam ediyorum. Şimdiye kadar, kategoriler alanına adım atmadan iyi bir PL öğrendim. Ancak, neyi kaçırdığımı görmek için büyük bir adım atmanın zamanının geldiğini düşündüm. Ne yazık ki, bulabildiğim kaynakların hiçbiri tip sistemlerine veya programlamaya herhangi bir bağlantı kurmuş …
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.