Hangi durumlarda, C ++, C # veya Java gibi daha ayrıntılı nesne yönelimli bir dil yerine işlevsel bir programlama dili kullanmayı seçmeliyim?
İşlevsel programlamanın ne olduğunu anlıyorum, gerçekten anlamadığım şey ne tür problemler için mükemmel bir çözümdür?
Yanıtlar:
Benim görüşüme göre, işlevsel diller esas olarak iki şey için iyidir: Oyun AI'leri ve matematiksel hesaplamalar. Güzel liste manipülasyonları nedeniyle (en azından Lisp ve Scheme'de) ve sözdizimi nedeniyle matematiksel hesaplamalar için oyun yapay zekalarında iyidir. Scheme, Lisp ve Haskell, matematiksel hesaplamaları okumayı kolaylaştıran bir sözdizimine sahiptir. Eklemem gereken son şey, işlevsel dillerin gerçekten eğlenceli diller olmasıdır. Scheme kursum en çok eğlendiğim kurslardan biriydi.
Bununla ilgili biraz araştırma yaptım ve işlevsel bir dil kullanmak için nedenler listesine CONCURRENCY ekleyebileceğimi düşündüm. Gördüğünüz gibi yakın gelecekte işlemci hızı aynı cpu teknolojisini kullanarak artamayacak. Mimarinin fiziği buna izin vermez.
Eşzamanlı işlemenin geldiği yer burasıdır.
Ne yazık ki çoğu OOP dili, veriler arasındaki karşılıklı bağımlılıklar nedeniyle aynı anda birden fazla işlemciden yararlanamaz.
Tamamen işlevsel programlama dillerinde, bilgisayar aynı anda iki (veya daha fazla) işlevi çalıştırabilir çünkü bu işlevler dış durum bilgilerini değiştirmez.
İşte hoşunuza gidebilecek işlevsel programlama hakkında mükemmel bir makale .
Bir arkadaşım, üniversite hocalarından birinin aşağıdaki gibi bir şey söylediğini aktardı:
Üstte veri türleri ve sol tarafta bu veri türleri üzerindeki işlemler ile bir ızgara çizin. Izgarayı dikey olarak dilimlerseniz, OO yapıyorsunuz; ızgarayı yatay olarak bölerseniz, FP yaparsınız.
Cevabım, FP'nin OO kadar geniş bir uygulama yelpazesiyle programlamaya tamamen uygun bir yaklaşım olduğudur. Herhangi bir programlama dili seçimi tartışmasında olduğu gibi, bence daha önemli sorular:
İlk soruya gelince, bunu öncelikle öğrenme değeri için yapıyorsanız , çok çeşitli destek materyalleri (kitaplar, makaleler, aktif topluluk, vb.) Nedeniyle Haskell'e bakmanızı öneririm .
İkinci soruya gelince, Haskell'in güzel bir kütüphane yelpazesi var (bazıları diğerlerinden daha olgun olsa da), ancak Scala (JVM'de çalışan hibrit OO işlevli bir dil), kademeli olarak işlevsel stile geçebileceğiniz avantajlara sahip. ve kullanabileceğiniz Java ile erişilebilen kitaplıkların tamamına sahipsiniz.
Pratik olarak PP'de yapabileceğiniz her şey FP'de ve aynı şey tersi olarak yapılabilir. Bu sadece bir şeyi kodlamanın başka bir yolu - soruna başka bir bakış açısı ve onu çözmenin farklı bir yolu.
Ancak, pek çok kişi FP kullanmadığından, sorun daha çok iyi kütüphanelerin eksikliği, taşınabilirlik / sürdürülebilirlik (çünkü bakımcının C ++ ile yazılmış bir şeyi anlama şansı Scheme'den daha yüksektir) ve dokümantasyon ve topluluk eksikliğidir. Bazı dokümanlar olduğunu biliyorum, ancak bunu C ++, C # veya Java ile karşılaştırın ve ne demek istediğimi anlayacaksınız.
Bununla birlikte, gerçekten FP yapmak istiyorsanız, bu stili C ++ ve C # 'da bile kullanabilirsiniz. Elbette, standart kitaplığı kullanırsanız% 100 FP olmayacaktır. Ne yazık ki, C # 'nin işlevsel programlama ile kullanılmak üzere optimize edildiğini düşünmüyorum ve muhtemelen birçok performans sorunu yaratacaktır.
Bu daha öznel bir gönderi, benim FP hakkında düşündüğüm şey. Kesin bir beyan değildir.
İşlevsel diller birçok durumda iyidir. Belirli bir işlevsel dilin kütüphanelerine bağlıdır.
"Nesne yönelimli bir programlama dili ne zaman kullanılır?" Sorusuna nasıl cevap verirsiniz?
Bu oldukça öznel bir soru olsa da, işlevsel dillerin alana özgü dilleri ayrıştırmak için çokça kullanıldığını eklemek isterim ; işlevsel doğası gramerleri ayrıştırmaya çok uygundur.
Gördüğüm kadarıyla, bu işlevsellikten çok bir zevk meselesi (kelime oyunu amaçlanmadı). Her iki dil stili hakkında da onu belirli görevlerde doğası gereği daha iyi veya daha kötü yapan hiçbir şey yoktur.
Genel olarak, bir sorunun çözümünü ifade etmenin en kolay olduğu dili kullanın. Fonksiyonel programlama için bu, bir problemin çözümünün fonksiyonlar açısından kolayca ifade edildiği zamandır , dolayısıyla adı. Genellikle matematiksel işlemler, AI, örüntü eşleştirme için iyidir; genel olarak, bir cevap almak için uygulanması gereken bir dizi kurala bölünebilecek herhangi bir şey. Yalnızca probleminizi yeterince analiz ettikten sonra kullanılacak "en iyi" dili gerçekten belirleyebilirsiniz. Sözde kodun işe yaradığı yer burasıdır. Kendinizi FP'ye benzeyen sözde kod yazarken bulursanız, FP kullanın.
Elbette, tüm programlama dilleri işlevsel olarak eşdeğerdir, bu nedenle hangi problemleri çözebileceğiniz açısından hangisini seçtiğiniz önemli değildir. Ana etkiler, kodlama verimliliği ve doğruluğu ve bakım kolaylığı açısından olacaktır.
Ayrıca akıllıca tasarlanmış API'ler aracılığıyla OO dillerinde FP'yi taklit etmenin mümkün olduğunu unutmayın. Örneğin, FP DSL'i simüle etmek için yöntem zincirleme kullanan çok sayıda Java kitaplığı (JMock bir örnektir) gördüm. Ardından aşağıdaki gibi yapılar göreceksiniz:
logger.expects(once()).method("error")
.with( and(stringContains(action),stringContains(cause)) );
Bu, esasen sahte bir nesnedeki bazı arama sıralarının doğru olup olmadığını belirlemek için değerlendirilen bir işlev oluşturur. (örnek http://www.jmock.org/yoga.html adresinden çalındı )
Diğer OO dillerindeki diğer FP benzeri sözdizimi, Ruby'de olduğu gibi kapanışların kullanılmasıdır.