«functional-programming» etiketlenmiş sorular

İşlevsel programlama, temel olarak işlevleri bir bilgisayar programı içeren hesaplamaları ifade etmek ve hesaplamalarını ifade etmek için araç olarak kullanan bir programlama paradigmasıdır.

3
Bağımlı tipler ve arıtma tipleri
Birileri bağımlı tipler ile arıtma tipleri arasındaki farkı açıklayabilir mi? Anladığım kadarıyla bir geliştirme türü, bir yüklemeyi yerine getiren bir türün tüm değerlerini içerir. Onları ayıran bağımlı türlerin bir özelliği var mı? Eğer yardımcı olursa, Liquid Haskell projesi ile Rafine tiplerine ve Coq ve Agda üzerinden bağımlı tiplere rastladım. Bu, …
3
Algoritma karmaşıklığı işlevsel diller için nasıl modellenir?
Algoritma karmaşıklığı daha düşük seviye detaylarından bağımsız olacak şekilde tasarlanmıştır, ancak zorunlu bir modele dayanır, örneğin bir dizideki erişime ve bir ağaçtaki bir düğümü değiştirme O (1) zaman alır. Bu, saf işlevsel dillerde geçerli değildir. Haskell listesi erişim için doğrusal zaman alır. Ağaçtaki bir düğümü değiştirmek, ağacın yeni bir kopyasını …
2
Fonksiyonel Reaktif Programlama ve Aktör modeli birbirleriyle nasıl ilişkilidir?
FRP, saf işlevler aracılığıyla olayları ve davranışları akışla ilgilidir. Aktör modeli - en azından Akka'da uygulandığı gibi - aktör olarak adlandırılan potansiyel olarak saf olmayan nesneler yoluyla değişmez mesajların (ayrı olaylar olarak kabul edilebilir) aktarılmasıyla ilgilidir. Böylece yüzeyde ilişkili görünüyorlar. Nasıl ilişki kurdukları hakkında başka ne söyleyebiliriz? Ayrıca, farklı uygulama …
2
Lambda Calculus tamamen sözdizimsel midir?
Birkaç haftadan beri Lambda Calculus hakkında okudum, ancak henüz mevcut matematiksel işlevlerden maddi olarak farklı olan bir şey görmedim ve bunun sadece bir gösterim meselesi olup olmadığını veya herhangi bir yeni olup olmadığını bilmek istiyorum. Her matematiksel fonksiyon için geçerli olmayan lamda matematiği aksiyomları tarafından yaratılan özellikler veya kurallar. Örneğin, …
3
SML'deki functors ile Kategori teorisi arasındaki ilişki nedir?
Andrej Bauer'ın bu cevabındaki ifadesiyle aynı düşünce boyunca Haskell topluluğu, kategori teorisinden esinlenerek, monadlarının en iyi bilinen fakat monadlarla karıştırılmaması gereken birkaç teknik geliştirmiştir . Arasındaki ilişki nedir functors SML ve functors Kategori teoride? Haskell veya OCaml gibi diğer dillerde functorların ayrıntılarını bilmediğim için, eğer değer bilgisi varsa, lütfen diğer …
2
Hesaplama ifadesi monad ile aynı mıdır?
Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 5 yıl önce göç etti . Hala işlevsel programlama öğreniyorum (f # ile) ve yakın zamanda hesaplama ifadeleri hakkında okumaya başladım. Konsepti hala tam olarak anlamıyorum ve monadlarla ilgili tüm makaleleri okurken (birçoğu Haskell'a dayanıyor), beni …
2
Kategori teorisi ile kastedilen, henüz üst düzey fonksiyonlarla nasıl başa çıkacağınızı bilmiyor mu?
Okuma olarak Uday Reddy cevabı için SML functors ve Kategori teorisi arasındaki ilişki nedir? Uday devletleri Kategori teorisi, daha üst düzey fonksiyonlarla nasıl başa çıkılacağını henüz bilmiyor. Bir gün olacak. Kategori teorisinin matematiğin temelini oluşturabildiğini düşündüğüm için, tüm matematik ve daha üst düzey fonksiyonların türetilmesi mümkün olmalıdır. Peki, Kategori teorisi …
2
Programlama için kategori teorisi (değil)?
Haskell ve o kadar saf olmayan FP dillerini öğrendikten sonra Kategori teorisi hakkında okumaya karar verdim. Kategori teorisini iyi anladıktan sonra, kategori teorisi kavramlarının programların tasarımını düşünmede nasıl kullanılabileceğini düşünmeye başladım, ancak ne kadar denesem denesem de bu yolun yolu değil gibi görünüyor. Kategori teorisini program tasarlamakla ilişkilendirmek için başarısız …
5
Lambda hesabı fonksiyonel programlama dışında mı?
Ben bir üniversite öğrencisiyim ve şu anda Lambda Calculus üzerinde çalışıyoruz. Ancak, bunun neden benim için yararlı olduğunu anlamakta hala zorlanıyorum. İşlevsel programlamanın birçoğunu yaparsanız bunun yararlı olabileceğini anlıyorum, ancak fonksiyonel programlamayı öğrenmek için gerçekten gerekli olmadığını düşünüyorum, ne düşünüyorsunuz? İkincisi, Lambda Calculus'un Bilgisayar Bilimi alanında ama işlevsel programlama dillerinin …
1
Fonksiyonel programlama neden dinamik ağaçları araştırmamıştır?
Dinamik ağaçlar ağ akışları, dinamik grafikler, kombinatoryal problemler (Tarjan ve Werneck tarafından "Uygulamada Dinamik Ağaçlar") ve yakın zamanda birleştirme sözlükleri (Adam Karczmarz tarafından "Basit Birleştirilebilir Sözlük") gibi sorunların çözümünde önemli bir rol oynamaktadır. Dinamik ağaçlar ile 1983 yılında Sleator & Tarjan'ın "Dinamik ağaçlar için bir veri yapısı" başlıklı makalede belirtilen …
4
Lambda hesabında fonksiyonların anonim olması neden önemlidir?
Jim Weirich'in ' Fonksiyonel Programlamada Maceralar ' başlıklı dersini izliyordum . Bu derste, esas olarak yüksek dereceli fonksiyonlar için sabit noktayı bulan Y-birleştiriciler kavramını tanıtır. Motivasyonlarından biri, söylediği gibi, lambda hesabı kullanarak özyinelemeli fonksiyonları ifade edebilmektir, böylece Kilise tarafından teori (etkili bir şekilde hesaplanabilir olan her şey lambda hesabı kullanılarak …
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.