İşlevsel programlama tasarım kalıpları nerede? [kapalı]

OO programlama literatürü tasarım desenleriyle doludur. Nesne yönelimli programlamaya ilişkin kitapların çoğu, fabrikalar ve dekoratörler gibi kalıplar tasarlamak için bir ya da iki bölümü ayırır. Öyleyse, işlevsel dillerde eşdeğer kalıplar nelerdir ve neden onlar hakkında henüz bir kitap yazmadı? Tasarım kalıplarına olan ihtiyacı ortadan kaldıran işlevsel diller hakkında özel bir şey var mı?

OO ve fonksiyonel programlama iki farklı programlama paradigmasıdır ve tasarım kalıpları (DP) OO tasarım ve programlamasının önemli bir parçasıdır. DP'nin işlevsel programlamada böyle bir rolü yoktur.

Birisi, DP'nin fonksiyonel programlamada gerekli olmadığını söyleyebilir - DP'nin tedavi ettiği kaşıntı yoktur.

• Bir tasarım desenlerinin bir programlama dilinde eksik özelliklerin bir işareti olduğunu iddia edebilir .

• Peter Norvig bulundu 23 kalıpların dışına 16 olduğunu Design Patterns kitabı "dır ya görünmez veya basit Lisp veya Dylan r".

• "Birçok model nesne yönelimi veya daha genel olarak değişken durum anlamına gelir ve bu nedenle verilerin değişken olduğu veya işlendiği işlevsel programlama dillerinde geçerli olmayabilir." - http://en.wikipedia.org/wiki/Design_pattern_%28computer_science%29

Jeremy Gibbons kitabı yazıyor. Tamamlanana kadar , İşlevsel Programlamadaki Desenler adlı blogunu okuyabilirsiniz . Yazılarını en eskiden en yeniye okumanızı önerir.

Onun yayınlarına da göz atın . Tasarım Desenlerinde Yüksek Dereceli Veri Türü Jenerik Programları Olarak Dört kalıp Çetesini kapsıyor ve Origami Programlamada özyinelemeli denklemlerle programlama kalıplarını anlatıyor (katlar ve açmalar).

Basit gerçek şu ki, birçok OO Paterninin işlevsel dillerde (özellikle orijinal GoF paternlerinde) Deyimler olarak kabul edilmesi gerekir. Örneğin, sıralı işleçleri olan bir Lisp ya da ML'de tekrarlayıcı deseni (şimdi C # gibi dillere yerleşik).

OO sistemlerinde kullandığımız kalıpların birçoğu, "gerekli olmayanları" ortadan kaldırmamıza yardımcı olmak için orada bulunuyor, böylece kodlama nesnelerine odaklanabiliyoruz. Başka bir deyişle, desenler uygulamanın ilginç olmayan kısımlarına yönelik çözümlerdir. Daha önce çözülmüş olan ortak ihtiyaçları karşılamak için kalıplardan faydalanmalıyız (veri tabanı aktarımı ya da ünite testinizi artırmak için xUnit Kalıpları gibi), birim değerinizi arttırmak için xUnit Kalıpları gibi. uygulama için.

GoF kalıplarının özelliklerinin ötesinde, işlevsel programlamaya da uygulanabilecek tasarım kalıpları olduğuna eminim. Mesele şu ki, OO baskın paradigmadır. İşlevsel geliştiricileri hedef alan bir desen kitabı yazmak ... açıkçası bir yayıncıdan yeşil bir ışık alamayacak. Bu aşağı kaynıyor. İşlevsel Desenler için konuyla ilgili çok sayıda kitabın olması için yeterli bir pazar bulunmamaktadır.

Stuart Sierra'nın bu konuyla ilgili iyi bir konuşma (~ 45 dk):

http://www.infoq.com/presentations/Clojure-Design-Patterns

Her zaman bağlayıcı ve yetkili değil, ancak veri analizi için FP kullanarak kendi deneyimlerimden birkaç örneğini tanıdım.

Clojure'da yazılmış, ancak muhtemelen herhangi bir FP diline uygulanabilir örnekler. Üstünü örttüğü kalıplara verdiği isimler:

• Devlet / Etkinlik
• sonuçlar
• akümülatör
• Kombine / azaltın
• Özyinelemeli Genişleme
• Boru hattı
• sarıcı
• Jeton
• Gözlemci
• strateji

Tasarım kalıplarını öğrenmekle gerçekten ilgileniyorsanız Haskell'den başkasına bakmayın. Eğer için zaman ayırın dilini zor yoldan öğrenmek içine çalıştırmak ve temel desen en rahat alırsınız - bunlar dile pişmiş ediyoruz.

Monadları atlamayın. Dışarıda bir sürü uzun soluklu açıklamalar var ve fikirlerin batması için bazı şeyler yapmak gerekiyor, ancak takılmaya devam ederseniz, sonunda size şafak verecek ve ne kadar tasarım deseninin olabileceğine şaşıracaksınız. Bu soyutlama / arabirim üzerine inşa.

Haskell'i yakaladığınızda, tehlikede olması için emrinizde yeterince FP cephaneliği olacak. Demek istediğim, elde edene kadar devam et. Kısayol yok.

FP için tasarım metodolojisi, problem alanını doğru şekilde yansıtacak şekilde tiplerinizi tasarlamak ve uygulamanın otomatik olarak takip etmesi gerektiği için, tasarım desenleri üzerine bir kitabın FP eşdeğeri, Chris Okasaki'nin Tamamen İşlevsel Veri Yapıları gibi bir şeydir .