«functional-programming» etiketlenmiş sorular

A tipi eleman kümelerini saklamam gerekiyor. Böylece karşılaştırma, bir kısmi sıralı olan Tip bir1bir1a_1 ve büyük, eşit ya da eşsiz küçük dönebilir.bir2bir2a_2 Karma tablolardaki bir sorun, iki eşit öğenin farklı şekilde temsil edilebilmesidir ve eşitlikle tutarlı bir karma işlevine erişimim yoktur. İki öğeyi karşılaştırmak uzun bir süreç olabilir, bu nedenle …

15 ds.data-structures  functional-programming  sorting 

LYAH'da bana pek mantıklı gelmeyen bir bölüm okuyordum . Fermuarların ağaç benzeri bir yapıyı keyfi olarak geçebileceğini anlıyorum, ancak üzerinde biraz açıklığa ihtiyacım var. Ayrıca, fermuarlar herhangi bir veri yapısına genelleştirilebilir mi?

15 ds.data-structures  functional-programming  tree 

Ghc'nin Haskell'i birleştirici mantık gibi sıralı bir programlama diline çevirmesini ve daha sonra her şey için yığın tahsisini kullanmasını engelleyen nedir? Wikipedia'ya göre, lambda hesabından birleştirici mantığa çeviri önemsizdir ve ayrıca, birleştirici programlama dilleri sadece bellek tahsisi için bir yığına güvenebilir. Bu çeviriyi yapmak ve böylece Haskell ve ocaml gibi …

14 functional-programming  haskell 

İşlevsel bir dil , nesnelerinin türleri olduğu ve aralarındaki morfizmlerin işlev gördüğü bir kategori olarak görülebilir . Tür sınıfları bu modele nasıl uyuyor? Sadece çoğu tip sınıfının sahip olduğu kısıtlamayı karşılayan ancak Haskell'de ifade edilmeyen uygulamaları dikkate almamız gerektiğini varsayıyorum. Örneğin, yalnızca bu uygulamaları göz önünde bulundurmalıdır Functorkendisi için fmap …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Ben tamamen işlevsel bir şekilde bir DBMS yazma fikrini araştırıyorum. İndeksleme için kullanılan geleneksel veri yapısı B-Tree'dir. Disk erişimini en aza indirgemek için optimize edilecek tamamen işlevsel bir B-Tree eşdeğerini bilmek istiyorum. Teşekkürler.

14 ds.data-structures  functional-programming  db.databases 

Tamamen işlevsel bir ortamda, tek başına bağlı olmayan listeyi düşünün. Övgüler dağ tepelerinden söylenmiştir ve söylenmeye devam edecektir. Burada birçok güçlü yönünden birini ve bunun ağaçlara dayanan daha geniş bir tamamen işlevsel sekans sınıfına nasıl genişletilebileceği sorusunu ele alacağım. Sorun şudur: O (1) zamanında neredeyse kesin yapısal eşitliği güçlü bir …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

Sorusu Okasaki beri tamamen fonksiyonel veri yapıları yenilikler? ve jbapple'ın epik yanıtı, son zamanlarda ilgilendiğim bir şey olan fonksiyonel programlamada (mantık programlamanın aksine) fark listeleri kullanılarak belirtildi. Bu , Haskell için fark listesi uygulamasını bulmamı sağladı . Ben iki soru var (Onları StackExchange iki farklı soru yapmak beni affet / …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Ayrıştırıcılarla (çoğunlukla ayrıştırıcı ifade gramerleriyle) ilgilendiğim için, ayrıştırmanın kategorik bir tedavisini veren bazı işler olup olmadığını merak ediyorum. Kategori teorisinin ayrıştırma uygulamalarına yapılan atıflar oldukça takdir edilmektedir. En iyi,

13 reference-request  functional-programming  ct.category-theory  parsing 

Alır (CPS dönüşümü) dönüşümü devam geçen hatırlayın için p A : = R ' R' bir (ki burada R ' sabitlenmiştir) ve f : A → B için β f : β bir → β B ile tanımlanan pbirAAβA : = RR,birβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}R,RRf: A → Bf:A→Bf : A …

13 functional-programming  monad  continuations  cps-transforms 

Son zamanlarda Aaron'un kendi terimleri hakkında matematiksel teoremleri kanıtlayabilen minimalist bir programlama dili olan Cedille-Core'u uygulamaya çalıştım . Ayrıca, λ kodlu veri türleri için indüksiyonunu kanıtladım, bu da uzantılarının neden gerekli olacağını daha net hale getirdi. Daha az, hala bu uzantıların nereden geldiğini merak ediyorum. Neden onlar onlar? Onları ne …

12 type-theory  functional-programming  constructive-mathematics 

Takip Etme MonadPlus olmayan ancak alternatif olan bir Monad örneği nedir? : Varsayalım bir tek hücreli olup. İlişkiler betweem nelerdir m bir varlık Alternatif bir MonadPlusCatch ve MonadPlusDistr ? mmmmmmAltı olası çiftin her biri için ya birinin diğerini ima ettiğine dair bir kanıt ya da buna karşı olmayan bir karşı …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

Gelen Tamamen İşlevsel En kötü durum Constant Zaman Catenable Sıralama Listelerinde , Brodal vd. O (1) birleştirme ve O (lg n) ekleme, silme ve bulma ile tamamen işlevsel dengeli ağaçlar sunar. Veri yapısı biraz karmaşıktır. O (1) sıralı, işlevsel veya değil, daha basit dengeli bir arama ağacı var mı?

12 functional-programming  ds.data-structures 

Saf fonksiyonlarla ilgili sorum var. Wikipedia sayfasına göre, saf bir işlev için gerekli olanlardan biri: Sonucun değerlendirilmesi, değiştirilebilir nesnelerin mutasyonu veya G / Ç cihazlarına çıktı gibi herhangi bir anlamsal olarak gözlenebilir yan etkiye veya çıktıya neden olmaz. Şimdi bu ne anlama geliyor. Ya da semantik olarak gözlemlenemeyen bir yan …

11 functional-programming  semantics 

Sadece veri türleri sayısal skalerler ve dizilerin keyfi yuvaları olan işlevsel bir programlama dili düşünün. Dilin sınırsız yinelemeden yoksun olması nedeniyle aşağıdakilere izin verilmez: Açık döngüler (yan etkiler olmadan fazla kullanılmaz) yineleme keyfi birinci sınıf fonksiyonlar (y birleştirici yok) Bununla birlikte, dil: üst düzey fonksiyonlar lexically scoped izin bağlamaları dallanma …

11 complexity-classes  functional-programming  dc.parallel-comp 

Etkileşim birleştiricileri daha önce λ hesabı için derleme hedefi olarak önerilmiştir . Bu makale tam λ-hesabını uygulamaktadır. EAL tipinde λ terimlerinin alt kümesi için λ-hesabının etkileşim-net kodlamalarının optimize edilmesinin de mümkün olduğu bilinmektedir . Bu makale, çoğaltıcıları gruplamak için sonsuz bir etiket alfabesi kullandıkları için, EAL-tiplenebilir λ terimlerini etkileşim birleştiricilerinden …

10 lambda-calculus  functional-programming  interaction-nets