«programming-languages» etiketlenmiş sorular

Bir programın iki ayrı dilde yazıldığını varsayalım, derleyicileri aynı bayt kodunu oluşturursa, neden X dili ve Y dili olsunlar, neden Y dili yerine X dilini kullanmalıyım? Bir dilin diğerinden daha hızlı olduğunu ne tanımlar? Bunu soruyorum çünkü çoğu zaman insanların şöyle şeyler söylediğini görürsünüz: "C en hızlı dildir, ATS C …

38 programming-languages  compilers 

İdris'in bağımlı türleri olduğunu biliyorum ama tam bir sonuç almadı. Turing eksiksizliğini bırakarak ne yapamaz ve bu bağımlı türlere sahip olmakla mı ilgilidir? Sanırım bu oldukça özel bir soru, ancak bağımlı tipler ve ilgili tip sistemler hakkında çok fazla bir şey bilmiyorum.

35 computability  programming-languages  type-theory  dependent-types 

Çoğumuz, Basic, C / C ++ ve Java gibi "textual" programlama dillerini kullanarak programlama öğrendik. İnsanların görsel olarak düşünmesinin daha doğal ve verimli olduğuna inanıyorum. Görsel programlama, geliştiricilerin grafiksel öğeleri işleyerek programlar yazmasını sağlar. Ben görsel programlama kullanarak kod kalitesini artırmak ve programlama hataları azaltmak gerektiğini düşünüyorum. App Inventor , …

35 programming-languages 

Üniversite düzeyinde bir CS eğitimcisi olarak, ilk programlama kursunda hangi programlama dilinin öğretileceği konusu tartışma için sıklıkla gündeme gelmektedir. Bir dil kampını diğeri üzerinde destekleyen çok sayıda dini ateş (veya ateş) arasında seçim yapabileceğiniz binlerce dil vardır. Her bir programlama dilini çevreleyen bu öznel önyargı, bir eğitimcinin bir dil seçmesini …

35 programming-languages  education 

Dijkstra, makalesinde , bilgisayar bilimlerini öğretmenin zulmü üzerine , bir giriş programlama kursu için aşağıdaki öneride bulundu: Bir yandan, belirleyici hesabın neye benzediğini öğretiyoruz, ancak bunu filozoflardan çok farklı yapıyoruz. Acemi programcıyı yorumlanmamış formüllerin manipülasyonunda eğitmek için, öğrenciye mantıksal bağlaçların tüm cebirsel özelliklerini tanıyarak, boolean cebiri olarak öğretiyoruz. Sezgiye olan …

33 reference-request  programming-languages  education  didactics 

Iota ve Jot hakkında okuyordum ve bu bölümü kafa karıştırıcı buldum: Bir dizgenin sözdizimsel ağacının sola veya sağa dallayabildiği İota'nın aksine, Jot sözdizimi eşit biçimde sol dallanmadır. Sonuç olarak, Iota kesinlikle bağlam içermez, ancak Jot normal bir dildir. Anladığım kadarıyla hem Iota hem de Jot Turing'in eksiksiz olduğu. Fakat görünüşe …

32 regular-languages  programming-languages  turing-completeness 

Temel olarak matematiğin üç temelinin farkındayım Küme teorisi Tip teorisi Kategori teorisi Peki programlama dilleri ve matematiğin temelleri hangi yollarla ilişkilidir? DÜZENLE Asıl soru "Matematiğin temellerini temel alan programlama dilleri" idi. eklenen paragarph ile Ve teori gerçeklenimcilerine 1. Tip teorisi Coq 2. Set teoride SETl 3. Kategori teorisi Haskell Bir …

30 programming-languages  history  type-theory  category-theory 

Herhangi bir iki dil arasında kaynak kodunu 'çevirebilen' programlar var mı (çevirmenin gerekli kütüphanelere erişimi olduğunu varsayarsak)? Varsa, nasıl çalışırlar (kullanılan teknikler, gerekli bilgi vb.)? Fizibil olarak nasıl inşa edilirler? Olmazlarsa, gelişimlerini engelleyen kısıtlamalar nelerdir? Bu bir AI tam sorunu mu (doğal dil çevirisi bir tane olarak listeleniyor)? DÜZENLEME Dönüşüm, …

28 computability  programming-languages  compilers 

(Yazılmamış) lambda hesabındaki ( ) sabit nokta birleştirici FIX (aka Y birleştirici ) şöyle tanımlanır:λλ\lambda FIXF λ f. ( λ x . f ( λ y. x x y ) ) ( λ x . f ( λ y. x x y ) )≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü Yazılım Mühendisliği Stack Exchange. 6 yıl önce göç etmiş . Programlama dillerini dilbilim bağlamında çalışabilir miyiz? Programlama dilleri, doğal dillere doğal yollarla benzer şekilde mi gelişiyor? Her ne kadar tam rasyonellik ve matematiksel tutarlılık programlama dilleri için şart olsa …

27 programming-languages  natural-language-processing 

Çöp toplama dil tasarımı ile ilgili kararlar hakkında fikir edinmek. Belki bir dil uzmanı beni aydınlatabilir? C ++ arkaplanından geliyorum, bu yüzden bu alan benim için şaşırtıcı. Neredeyse bütün modern çöpler, Ruby, Javascript / ES6 / ES7, Actionscript, Lua, vb. Gibi OOPy nesne desteğiyle dilleri topladı. Python class __del__()yöntemi ile …

27 programming-languages  memory-management  garbage-collection  language-design 

Programı çoğunlukla yüksek dilde yazıyoruz. Bu yüzden okurken derleme diliyle karşılaştım. Böylece assembler assembly dilini makine diline dönüştürür ve derleyici de aynı dili yüksek dilde yapar. Assembly diline taşınması r1 r3, 5 taşı vb. Gibi komutlar buldum. Ve çalışmak oldukça zor. Öyleyse neden derleme dili oluşturuldu veya ilk dilden önce …

27 programming-languages  education  history 

Not, nasıl programlandığını bilmeme rağmen, CS teorisinde oldukça yeni bir başlangıç ​​yapıyorum. Bu cevaba göre Bütünlüğü tamamlamak, soyut bir hesaplanabilirlik kavramıdır. Eğer bir dil Turing tamamlandıysa, diğer bir Turing tamamlayıcı dilin yapabileceği herhangi bir hesaplama yapabilir. Ve herhangi Turing tam bir dilde yazılmış herhangi bir program diğerinde tekrar yazılabilir . …

26 computability  programming-languages  turing-completeness 

Blockly, friends ve Github'da barındırılan diğer projeler gibi birkaç açık kaynaklı görsel programlama aracı buldum, ancak doğrudan soyut sözdizimi ağacı ile çalışan herhangi bir şey bulamadım. Neden? Soruyorum, çünkü derleyici işleminde her derleyicinin bir AST'ye kaynak kodunu ayrıştırdığı bir aşama olduğunu öğrendiğimde, bazı görsel programlama araçlarının programlayıcıya yol vermek için …

25 programming-languages  language-design  syntax-trees 

Bu sorunun cevabını net olarak araştırdım ve görünüşe göre cevabı benden başka herkes biliyormuş gibi görünüyor. Muhtemelen bunun nedeni, umursayan tek insanın konuyla ilgili yükseköğretim eğitimi almış olmasıdır. Öte yandan, lise ödevi için derinlere atıldım. Benim sorum şu, biçimsel dillerle ilgili programlama dilleri tam olarak nasıl? Okuduğum her yerde "programlama …

25 formal-languages  programming-languages  regular-expressions