İşlevsel bir programlama dili seçimi [kapalı]

Son zamanlarda fonksiyonel programlama dilleri hakkında birçok konu okudum (neredeyse geçen sene aslında). Gerçekten bir tane seçip iyice öğrenmek istiyorum.

Son [ders] sömestr, Scheme ile tanıştırıldım. Onu sevdim. Sözdiziminin aşırı basitliği, homoiklik ilkesi, makrolar ( hijyenik ve hijyenik olmayan), prosedürlerin netliği vs.

Düzeni ile sorun akademik bir dildir. Üretim ortamlarında gerçekten kullanıldığını sanmıyorum. Özgeçmişimizde olmanın özellikle iyi olduğuna inanmıyorum. Bu yüzden alternatifler arıyordum. Birçoğu var ve bir şekilde hepsinin benzer bir popülaritesi var gibi görünüyor.

Düşündüğüm diğer bazı fonksiyonel diller hakkında bazı düşünceler:

• Clojure: Kulağa hoş geliyor çünkü Java dünyasına erişebilir, ölçeklenebilirlik ve eşzamanlılığa yöneliktir, ancak Java dünyası şu anda bir kenarda değil mi? Java'yı zaten çok iyi tanırım, ancak JVM'ye bağlı olarak daha fazla enerji eklemek akıllıca olur mu?
• Haskell: Çok takdir görmüş bir dil gibi görünüyor, fakat okuduklarımdan daha çok akademik bir dil.
• Lisp: Sonsuza dek buralardaydı. Scheme'den sevdiğim şeylerin çoğuna sahip görünüyor. Büyük bir topluluğu var. Bildiğimi düşündüğüm için, muhtemelen endüstrideki en yaygın kullanılan işlevsel programlama dilidir (?).
• F #: Gerçekten düşünmedim. Ben MS’lerin büyük bir hayranı değilim. Yazılımları için ödeyecek param yok (Onları üniversite ittifaklarından kurtarabilirdim, ama daha çok topluluğa dayalı çözümlerle çalışmaya meyilliyim). Rağmen ... Sanırım en iyi kariyer odaklı seçim olurdu.

Bu gece, Lisp'e yaslanıyorum. Bir hafta önce Haskell'di. Ondan önce Clojure'du. Geçen yıl, bildiğiniz nedenlerden dolayı zorlamak yerine eğlenmek için bazı Şemalar yapıyordum. Şimdi ciddi olmak istiyorum (birini öğrenmek, onunla gerçek projeler yapmak, belki de profesyonel olarak çalışmakla ilgili). Benim sorunum, birini seçmeden önce hepsini derinlemesine öğrenmem gerekecek.

Pratik bir  dil istediğinizden beri :

Haskell ve Lisp’in sektördeki diğerlerinden daha fazla kullanıldığına dikkat edin, ancak Clojure ve F #’ya yeni ilgi duydum.

Fakat şema karışıma eklediğimizde ne olduğuna bakın:

Hmm, artık bir akademik dile benzemiyor, değil mi?

Aslında, yukarıdaki grafik muhtemelen bir yalandır; "şema" kelimesi, programlama dillerinin yanı sıra diğer bağlamlardaki reklamlarda aranan reklamlarda da görünebilir. :)

Yani burada muhtemelen (biraz) daha temsili olan başka bir grafik var:

Eğer Scheme'nin gerçekten teke tek bir lehçesini keşfetmek istiyorsanız, Racket'e bir göz atın .

İşlevsel programlamayı öğrenmek istiyorsanız, önce Haskell'i öğrenmek için daha iyi hizmet verebilir, ardından istediğiniz dili kullanın. Diğer dilleri kullanarak fonksiyonel programlamayı öğrenebilirsiniz, ancak yine de zorunlu ve nesne yönelimli kod için izin verir. Haskell'de gerçek bir program yazarsanız, işlevsel programlamayı daha hızlı öğreneceksiniz çünkü diğer paradigmalar geriye düşmek için uygun olmayacak.

Haskell programınızı yazdıktan sonra, monadlar gibi araçlara ve noktaya kodlama gibi teknikleri seçtiğiniz dile getireceksiniz. Kavramlar özellikle Şema ile iyi eşleşiyor gibi görünüyor.

Aslına bakarsanız, Scheme'de oldukça karmaşık bir sistem uygulayabilseydiniz, muhtemelen çalışmak isteyeceğiniz firmalarda oldukça arzulanırsınız. Daha önce kariyerimde Scheme'de adil miktarda iş yapmış bazı öğrencilere rastladım ve tek dezavantaj olan tek şey, çalışmalarını açıklayamadıkları ya da temel verileri uygulamada yeterince iyi anlamadıkları zamanlardı. makul bir süre içerisinde yapılar ve algoritmalar. Adayların her zaman bu tür soruları tercih ettikleri dilde cevaplamasına izin veririm; Ben, beni şaşırtan bağlantılı bir listeye bir eleman eklemek gibi, kolay olması gereken şeylerle biraz mücadele etmeyi başaran Scheme'de en iyi olduklarını düşünen bazı insanlarla karşılaştım.

Ancak, ortalama bir web uygulaması bile yazmak için yeterince iyi bir Şema "almak" mümkün olsaydı, bu en ciddi yazılım şirketlerinde oldukça iyi bir satış noktası olurdu.

Bir "blub" mağazasında röportaj yapıyorsanız ve geliştiriciler Scheme veya Haskell veya F # 'daki uzmanlığınız nedeniyle garip olduğunuzu düşünüyorlardı, muhtemelen orada çalışmak istemezsiniz. Çoğu durumda, yetkin geliştiriciler gösterileri seçerler, bu nedenle geleceğinizde hayal edebileceğiniz tek seçenek şirket olmadıkça "pratiklik" terletmeyin. Yetkin, esnek ve yıkıcı problemler üzerinde çalışın.

Üniversite pratiklikle ilgili değil. Keşfetmek ve öğrenmek için güvenli bir ortam yaratma hakkında. Bu, aslında kariyerinizin geri kalanı için sıradan bir yazılım yazsanız bile faydalıdır.

Olduğu söyleniyor, neden bu seçimlerden sadece biriyle sınırlandırmak istediğinizi anlayamıyorum. Dört haftada dört dilde kolayca anlaşılabilinir, sonra mevcut kafeslere en iyi şekilde odaklanmak için bir tane seçebilirsiniz. Sonra seçeneklerinden birine geri dön ve benzer bir şey uygulamaya çalış. Daha karmaşık bir şeye geçin ve seçeneklerinizi tekrar düşünün. Deneme iyidir. Gelecek ay geçimini sağlamaya çalışmadığın sürece, henüz bir uzman olmana gerek yok.

Bazılarını F #, Emacs Lisp ve Common Lisp'te yazdım ve en azından son birkaç yılda en azından biraz Haskell okudum. Hiçbirinde uzman olduğumu söyleyemem, ancak bu dillere yapılan her gezi, profesyonel olarak çalıştığım diğer tüm dillerde (C #, Java, Ruby ve bazen Boo, Perl ve Python) çok faydalı oldu. Merak size her şeyden daha kalıcı, tatmin edici bir kariyer sağlayacaktır.

Bir süre Haskell'e daldım, ancak geldiğim sonuç biraz fazla akademik olduğu yönünde oldu. Pratik bir şey yapmak çok zordu. Saf bir işlevsel dilde, IO gibi şeyler modele tam olarak uymuyor, bu yüzden monadlarla uğraşmak zorundasınız. Çok az yetkin olmak için çok fazla zaman harcamam gerektiğine karar verdim.

Scheme'yi üniversitede yaptım. Sesi önemsiz görülebilir, ancak tüm parenler gerçekten rahatsız edici / rahatsız edicidir. Python gibi dilleri kullandıktan sonra tekrar geri dönmek zor.

Son zamanlarda F # 'yu keşfediyorum. İşlevseldir, ancak istediğiniz zaman zorunlu ve nesne yönelimli de olabilir. Bu, herhangi bir .NET kütüphanesini kullanabilmenin yanı sıra, saf işlevsel parçalarınızı GUI'ler, IO ve ağ oluşturma gibi daha pratik şeylerle kolayca karıştırmanızı mümkün kılar. F # bağımsız bir sürümünü alabilirsiniz.

http://www.microsoft.com/downloads/en/details.aspx?FamilyID=effc5bc4-c3df-4172-ad1c-bc62935861c5&displaylang=en

Tüm büyük fonksiyonel dilleri bir veya iki yıl önce pratik, genel amaçlı bir işlevsel programlama dili istemek açısından değerlendirdim.

Sonunda mükemmel bir seçim olduğunu kanıtlayan Clojure'u seçtim .

Genel olarak konuşursak anahtar nedenler şunlardı:

• Kütüphane ekosistemi - bir dilin kullanışlı olması için iyi kütüphanelere erişmeniz gerekir. JVM'de olmak demek, en büyük açık kaynak kodlu kütüphane ve araç ekosistemine kolayca erişebilmeniz anlamına gelir, bu nedenle JVM dilini kullanmak pragmatik bir perspektiften akıl almazdı. Scala ayrıca burada yüksek puan aldı.

• Makro-metaprogramlama - Lisp'in bu yönü bana her zaman çekici geldi, özellikle de biraz kod üretmeyi umduğumdan beri. Paul Graham'ın " Averajları Yenerek " adlı kısa makalesinde yapılan tartışmaları çok takdir ediyorum . Çeşitli Lisps'lar burada güçlü bir şekilde gol attı.

• Performans "yeterince iyi" idi - Clojure her zaman derlenir ve JVM JIT optimizatörü ve mükemmel GC'nin avantajlarından yararlanır. Her zaman olduğu gibi, işlevsel bir dil kullanmakta bazı ek yükler var ancak Clojure ile her biri biraz çabayla Java hızına yakın olabileceğiniz belliydi (Clojure, Java ilkellerini ve ihtiyaç duyduğunuz durumlar için isteğe bağlı statik yazmayı destekler). Tahminime göre Clojure, hatalı ölçütlerde gördüğünüzle tutarlı olan optimize Java veya C ++ koduyla elde edebileceğinizden 2-5 kat daha yavaş , ve zamanla bu boşluğun daha da daralmasını bekliyor. Ayrıca, özellikle performansa duyarlı kodu yalnızca Java ile yazıp Clojure'dan çağırmak yeterince kolaydır.

• Eşzamanlılık - Clojure, özellikle çok çekirdekli eşzamanlılık için eşzamanlılığa oldukça benzersiz ve güçlü bir yaklaşıma sahiptir. Açıklaması biraz zor, ama bu video ilkelerin tadına varmak için mükemmel . Clojure'nin şu an zor soruya en iyi cevabı verdiğini düşünüyorum: "işlevsel bir programlama dilinde paylaşılan, eşzamanlı ve değişken durumu nasıl yönetmelisiniz?"

• Dil tasarımı - Clojure IMO, çok iyi düşünülmüş bir dil tasarımıdır. Örnekler normal Lisp parantezlerine ek olarak vektör [] ve map {} değişmezlerine sahip olmaları, değişmez kalıcı veri yapılarının kullanımı, dizi soyutlama yoluyla dil boyunca tembelliklerin desteklenmesi ve programcıya farklı sorunları çözmek için çeşitli ortogonal özellikler sağlamaktır. . Soyutlama sanatını görün ve basitleştirin .

• Topluluk - her zaman öznel, ama Clojure topluluğunda gördüklerimi beğendim. Tutum çok yararlı, yapıcı ve pragmatikti. Pek çok Clojure insanının (Rich Hickey de dahil olmak üzere) karmaşık işletme sistemlerinin kurulmasından kaynaklandığı gerçeğini yansıtan güçlü bir "işlerin yapılmasına" vurgu var. Clojure topluluğunun Java topluluğuyla da güçlü bağları olması, beni Clojure'un bir "niş içinde" kalma riskini taşımayacağı konusunda ikna etmede önemliydi.

Clojure'un birkaç küçük dezavantajını adlandırmak zorunda kalsaydım, bunlar şöyle olurdu:

• Dinamik yazma - genellikle bu verimlilik açısından bir avantajdır, ancak ortalama olarak bunu daha güçlü tip kontrolü ve çıkarımı için takas edeceğimi düşünüyorum. Çoğunlukla bu iyi bir otomatik test paketi ile azaltılabilir, ancak derleyiciniz tarafından statik olarak onaylanmış türlerinizden hoşlanıyorsanız Haskell veya Scala daha çok sizin çayınız olabilir.

• Son teknoloji - Clojure çok hızlı bir şekilde gelişiyor ve birçok yenilik var - bunun dezavantajı, çok sayıda deneme yapılması, bazı kütüphanelerin ve araçların hala olgunlaşmamış olmaları ve Clojure'un önemli sürümleri arasında ara sıra kırılma değişiklikleri olması. göz kulak olmam gerekiyor.

Genel olarak, mükemmel ve pragmatik bir modern fonksiyonel dil istiyorsanız, Clojure ile başa çıkabileceğinizi sanmıyorum!

Ödevini yaptın gibi gözüküyor, muhtemelen bunu zaten biliyorsun, ama Scheme, Lisp'in aynen Common Lisp'in lehçesi. Şema hakkında birçok şeyden hoşlanıyorsanız, ancak akademik yapısından hoşlanmıyorsanız, Common Lisp'i deneyin. Göre TIOBE endeksi , bu konum 26'da Planı vs 13. En popüler bir dil.

Bahsettiğiniz dillerden bazıları, son zamanlarda gördüğüm iş tanımlarında görünüyor, ancak bu benim küçük örnek setim olabilir. Şahsen işimde bu dili kullanmayı beklemiyor olmama rağmen, Haskell'i öğreneceğim. İşlevsel programlama kavramları gelecekteki program tasarımları için dilin doğrudan pazarlanabilirliğinden daha değerli.