neden tüm fonksiyonel programlama dersleri bu kadar mathy?

Fonksiyonel programlamayı öğrenmeye çalışıyordum ve bulduğum çoğu öğretici, daha karmaşık yapılara (bazı durumlarda basit olanlar bile) örnek olarak matematik kullanıyorum. Bu neden? Daha kolay bir şeyin kullanılabileceğini düşünürdüm. Öğrenmeyi zorlaştırıyor.

Arka Plan Bilgisi: 12 yıldır yazılım yazıyorum. Kapanışlar, birinci sınıf vatandaş olarak işlevler ve jenerikler gibi bazı kavramları anlıyorum. Bazı ileri düzeyde üst düzey işlevlerle ilgili sorunlar yaşıyor olabilirim, ancak temel bir kavrayışım olduğuna inanmak istiyorum. Monadlar beni popoda ısırıyor ve bu noktada bunu geçemedim (eminim sonunda yapacağım, çünkü ısrarcıyım).

Matematiği kullanırlar çünkü Fonksiyonel Programlama matematiksel yapıları modellemede çok iyidir ve matematiksel kavramlara, özellikle de Lambda Calculus'a çok bağlıdır. Ayrıca, I / O tipik olarak çeşitli paradigma matematiğinin pek çok dilinde çeşitli dillerin REPL'leri aracılığıyla oldukça dikenli ve gelişmiş bir konu olduğundan, ilk başta dili öğretmenin iyi bir yolu haline gelir.

Fonksiyonel Programlama Fonksiyonları programlama dilinde birinci sınıf yapılar olarak ele aldığından, fonksiyon üretimi çok önemli hale gelir. Bu nedenle yüksek matematik özellikle grafik teorisi açısından oldukça önemlidir.

Zorunlu Diller tıpkı bir mathy gibidir, ancak temelde aritmetiktir, çünkü makineye daha yakındırlar, ancak yine de ekleyebilirler. Yüksek soyutlamaları olan fonksiyonel diller matematiğe daha çok eğilimlidir. Akademide genel kullanım, çok fazla matematik bilen ve çok fazla matematik öğrenmesi beklenen insanlara öğretilen insanlar tarafından kullanıldıkça ve böylece öğretildikçe yardımcı olmaz. Bu yüzden konuşmak için "aptal" etmek mümkündür, ancak bu faktörlerin verilmesi olası değildir.

http://learnyouahaskell.com/ - Muhtemelen Fonksiyonel Programlamaya en nazik girişlerden biridir, iki kez kontrol ettim ve orada temel cebir ve grafik teorisinin ötesinde bir şey yok.

Çok sayıda neden var ve bunların hepsi birbiriyle ilişkili:

• İşlevsel programlama dillerinin çoğu, CS'nin Matematik ile yakından bağlantılı olduğu akademik bir bağlamda geliştirildi, bu yüzden onları tasarlayan insanlar güçlü bir Matematik geçmişine sahip (ve izleyicileri hakkında aynı şeyi varsayma eğilimindedir)
• Fonksiyonel programlama özellikle matematik ağırlıklı problemleri çözmek için uygun bir paradigmadır
• FP'nin arkasındaki teori, lambda hesabı (temel olarak, soyut bir fonksiyonlar teorisi), bir Matematik dalıdır ve FP dilleri lambda hesabından kavramları ve terminolojiyi kullanma eğilimindedir

Ayrıca, FP gerçekten diğer paradigmalardan daha fazla mathy değildir, ancak anahtar kavramlar (gerçek birinci sınıf vatandaşlar olarak işlevler, daha üst düzey işlevler, kapanışlar ve saflık) belirli bir zihniyet gerektirir. Bir noktada, zihniniz "tıklama" ya gitmelidir; Eğer bu 4 temel fikri anlarsanız, geri kalanı diğer paradigmalar kadar kolay olacaktır.

Çünkü temelde bilgisayar programlama matematiktir. Fonksiyonel diller bu düşünülerek tasarlandı ve bu yüzden öğreticilerin çoğu matematiğe odaklandı.

Bilgisayar programlamayı matematiksel bir temele sahip olarak düşünmeye alışkın değilseniz öğrenmek zordur.

Bence "Küçük Schemer" işlevsel programlamaya harika bir giriş ve hiç de mathy değil. Monad'lara girmez, bu yüzden zevkleriniz için çok temel olabilir, ancak Y-birleştiricisinin sonuna doğru bir türevi yapar.

Geçenlerde 12 yıl önce üniversiteden beri herhangi bir fonksiyonel programlama yapmadım ve harika bir tazeleme yaptım, kesinlikle Racket kullanarak kitaptaki sorunların çoğunu çalıştıktan sonra daha gelişmiş şeylerle başa çıkmaya hazır hissediyorum.