«programming-languages» etiketlenmiş sorular

Bir ayrıştırıcı birleştiricinin aksine lexer / ayrıştırıcılarla sık sık çalışıyorum ve ayrıştırmada hiç ders almayan insanları görüyorum, ikili verileri ayrıştırmayı sor. Tipik olarak veriler sadece ikili değil aynı zamanda içeriğe duyarlıdır. Bu temel olarak sadece bir tip token, bayt için bir token bulunmasına yol açar. Birileri ikili verileri ayrıştırmak için …

13 programming-languages  compilers  parsers 

Haskell wiki'de IO monadının koşullu kullanımına ilişkin aşağıdaki örnek vardır (buraya bakın) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Bu örnekte, her şeyin daha anlaşılır IO aolması RealWorld -> (a, RealWorld)için tanımının yapıldığını unutmayın …

12 programming-languages  functional-programming  haskell 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Bilgisayar Bilimi Stack Exchange için. 11 ay önce kapalı . Python , kod bloklarını sözdizimsel olarak tanımlamak için oldukça ünlü bir girinti kullanır . (Bkz . Python Dil …

12 programming-languages  python  syntax 

Derleme zamanı olan her şeyi seviyorum ve bir programı derledikten sonra yürütülmesi hakkında birçok garanti verildiği fikrini seviyorum. Genel olarak konuşursak, statik tip bir sistem (Haskell, C ++, ...) herhangi bir dinamik tip sistemden daha güçlü derleme zamanı garantileri vermektedir. Anladığım kadarıyla Ada, zaman kontrolünü derleme konusunda daha da ileri …

12 programming-languages  type-theory  type-checking  software-verification 

Öncelikle, aşağıdaki metnimin hata içerebileceğini söylemek istiyorum, bu yüzden soruyu formülasyonumdaki hataları belirtmekten çekinmeyin. Bu sözdizimi ile terimleri verilen booleans ve if-ifadeleri ile türlenmemiş bir lambda hesabı düşünün: t ::= v | t t | if t t t | x v ::= \x.t | #t | #f Bu durumda …

12 programming-languages  lambda-calculus 

Kısa süre önce Russelli tür teorisi ile tür sistemleri arasında, örneğin Haskell'de bulunan bir tür ilişki olduğunu fark ettim. Aslında, Haskell'deki türler için bazı gösterimlerin tür teorisinde öncüleri olduğu görülmektedir. Ancak, IMHO, 1908'deki Russell motivasyonu Russell'ın paradoksundan kaçınmaktı ve bunun bilgisayar bilimindeki tip sistemleri ile nasıl ilişkili olduğundan emin değilim. …

12 programming-languages  type-theory 

Bağlama duyarlı gramerleri anlamaya çalışıyorum. Dillerin neden hoşlandığını anlıyorum { w w ∣ w ∈ A*}{ww|w∈bir*}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{birnbncn|n∈N-}\{a^n b^n c^n \mid n\in\mathbb{N}\} bağlam içermez, ancak türetilmemiş lambda hesabına benzer bir dilin içeriğe duyarlı olup olmadığını bilmek istiyorum. Basit, ama oyuncak olmayan bir …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

C # bir web API için bir istemci oluştururken , nulliki farklı şeyi temsil edecek bir değer olarak ilgili bir sorunla karşılaştım : hiçbir şey , örneğin bir foomayın olabilir veya olmayabilirbar bilinmiyor : Varsayılan olarak API yanıtı yalnızca bir özellik alt kümesi içerir, hangi ek özellikleri istediğinizi belirtmeniz gerekir. …

11 programming-languages  language-design 

Bir programlama dili anlambilimi ve tür sistemini prototiplemek için herhangi bir araç var mı ve bu da tür sağlamlığı gibi standart özelliklerin bir çeşit model kontrolüne izin veriyor mu? Bunu soruyorum, çünkü Alloy hakkında bir kitap okuyorum ve tam olarak istediğim işlevselliği sağlıyor, ancak ilişkisel mantık kullanarak ifade edilen modeller …

11 reference-request  programming-languages  semantics  model-checking 

Yüksek seviyeli diller neden görünüşte daha düşük seviyeli dillere asla ulaşamıyor? Üst düzey dillere örnek olarak Python, Haskell ve Java verilebilir. Düşük seviyeli diller tanımlamak yanıltıcıdır olurdu, ama hadi C. Karşılaştırmalar İnternet çevresindeki tüm bulunabilir söylemek ve hepsi C bazen 10 veya daha fazla kat, çok daha hızlı olduğu konusunda …

11 programming-languages  performance 

Programcılar üzerine bir cevap, Cook tarafından yapılan bir makaleyi ( Nesneler ADT değildir ) şöyle ifade eder: Nesneler, bir cebir yerine bir türün değerleri üzerinde karakteristik bir işlev gibi davranır. Nesneler tip soyutlama yerine prosedürel soyutlama kullanır ADT'lerin genellikle bir programda benzersiz bir uygulaması vardır. Bir kişinin dili modüllere sahip …

11 programming-languages  object-oriented  abstract-data-types 

Program analizinde en az sabit nokta (lfp) 'nin önemi hakkında büyük bir resim elde etmeye çalışıyorum. Örneğin soyut yorum, lfp'nin varlığını kullanıyor gibi görünmektedir. Program analizi üzerine birçok araştırma makalesi de en az sabit noktayı bulmaya odaklanmaktadır. Daha spesifik olarak, wikipedia'daki bu makale: Knaster-Tarski Teoremi lfp'nin program semantiğini tanımlamak için …

11 programming-languages  finite-model-theory  fixed-point 

Nesne yönelimli programlamada (kağıt için) "nesnenin durumu" nun özlü bir tanımına ihtiyacım var. Yaklaşık yarım gün boyunca bu konuda alıntı yapabileceğim bir makale aradım, ancak bir tane bulamadım. Bulduğum tüm makaleler çoğunlukla nesne yönelimli programlama üzerine genel yazılardı ve bir nesnenin durumunu tanımlamadılar. Emin değilim, ama en iyi tahminim şöyle …

11 terminology  reference-request  programming-languages  object-oriented 

İş yerinde dinamik bir dil hakkında bazı tür bilgiler çıkarmakla görevlendirildim. letİfade dizilerini iç içe ifadelere yeniden yazar , şöyle: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Ben ML şecere ifade tabanlı bir dil üzerinde çalışıyorum, bu yüzden doğal olarak tür çıkarım gerekiyor :) Şimdi, EOPL'de (Friedman ve Wand) basit bir uygulamaya dayanan, çıkarım türleri sorununa kısıtlamaya dayalı bir çözüm geliştirmeye çalışıyorum, ancak zarif bir şekilde yan basamak cebirsel veri tipleri. Şimdiye kadar olanlarım sorunsuz çalışıyor; bir …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing