«haskell» etiketlenmiş sorular

Haskell'i öğrenmeye başladım . Ben çok yeni biriyim ve kafamı temel yapıları etrafında gezdirmek için birkaç çevrimiçi kitabı okuyorum. Tanıdığı insanların sıkça konuştukları 'mem'lerden biri, "derlerse işe yarar *" meselesidir - bence bu, tip sisteminin gücüyle ilgili olduğunu düşünüyorum. Neden tam olarak Haskell'in bu konuda diğer statik olarak yazılmış dillerden …

204 java  haskell  polymorphism 

İnsanları , özellikle veri erişimi bağlamında, Tercüman olan Ücretsiz Monad hakkında konuşurken gördüm . Bu örüntü nedir? Ne zaman kullanmak isteyebilirim? Nasıl çalışır ve nasıl uygularım? Ben (örneğin mesaj anladığımız bu veri-erişimden modeli ayıran ilgili olduğunu). Tanınmış Havuz modelinden farkı nedir? Aynı motivasyona sahip görünüyorlar.

95 design-patterns  functional-programming  haskell  dsl  monad 

Bazı şeylerin bir dilde diğerinden daha kolay / daha zor olduğunun farkındayım, ancak yalnızca bir tanesinde mümkün olan ve diğerinde imkansız / alakasız türlerle ilgili özelliklerle ilgileniyorum. Daha belirgin hale getirmek için, Haskell tipi uzantıları görmezden gelelim, çünkü orada her türlü çılgın / havalı şeyi yapan çok insan var.

66 java  haskell  type-systems  static-typing 

Haskell ile fonksiyonel programlamayı öğreniyorum ve ilk olarak neden onlara ihtiyacım olduğunu anlayarak kavramları yakalamaya çalışıyorum. Fonksiyonel programlama dillerinde okların amacını bilmek istiyorum. Hangi sorunu çözüyorlar? Http://en.wikibooks.org/wiki/Haskell/Understanding_arrows ve http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf adresini kontrol ettim . Tek anladığım, hesaplamalar için grafikleri tanımlamak için kullanıldıkları ve puansız stil kodlamasına daha kolay izin verdikleridir. Makale, …

62 functional-programming  haskell 

Cebirsel Veri Tipleri ile kolayca çözülebilen bazı problemler vardır, örneğin bir Liste tipi kısaca şöyle ifade edilebilir: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l = ConsCell 1 (ConsCell 2 …

58 java  c#  scala  haskell  algebraic-data-type 

C # veya ruby ​​gibi nesne yönelimli programlama dillerinde biraz deneyimim var. Bir programın nesne yönelimli bir tarzda nasıl tasarlanacağını, sınıf ve nesnelerin nasıl oluşturulacağını ve aralarındaki ilişkilerin nasıl tanımlanacağını biliyorum. Ayrıca bazı tasarım kalıplarını da biliyorum. İnsanlar işlevsel programları nasıl yazarlar? Nasıl başlarlar? İşlevsel diller için tasarım desenleri var …

52 design  haskell  functional-programming 

Bir sonraki (nispeten önemsiz) kişisel projem için Haskell'e dalmak istiyorum. Haskell ile başa çıkmamın nedenleri: Kafamı tamamen işlevsel bir dile sokun Hız. Bunun tartışılabileceğinden emin olduğum halde profiller C ++ 'a yakın Haskell çivileri gördüm (ve Erlang'dan biraz daha hızlı görünüyor). Hız. Warp web sunucusu hemen hemen her şeyle karşılaştırıldığında …

47 haskell 

IOHaskell monad genellikle devlet dünya bir devlet monad olarak açıklanmıştır. Dolayısıyla IO amonad tipi bir değer gibi gözüküyor worldState -> (a, worldState). Bir süre önce bu görüşü eleştiren ve doğru olmamanın birkaç nedeni olan bir makale (ya da bir blog / posta listesi yazısı) okudum. Ancak ne makaleyi ne de …

46 functional-programming  haskell  io  monad 

Varoluşsal türlere bağlılığı ortadan kaldırarak sürekli olarak yeniden kodlama kodu kullanmak için kullanabileceğim bazı teknikler nelerdir? Tipik olarak bunlar, türünüzün istenmeyen yapılarını diskalifiye etmek ve verilen tür hakkında en az bir bilgi ile tüketime izin vermek için kullanılır (veya benim anlayışım budur). Herhangi biri, faydalardan bazılarını koruyan kodlara güvenmeyi kaldırmanın …

43 functional-programming  haskell  type-systems 

Lisp ve Haskell'in sırasıyla mantıksal ve işlevsel programlama dilleri olduğunu biliyorum, ama bu tam olarak ne anlama geliyor? Diğer dillerden farkı nedir? Bunları öğrenmenin seni daha iyi bir programcı yapacağını ve mantığını geliştireceğini duydum. Bu doğru mu ve Lisp veya Haskell'i yetkin bir seviyede öğrenmeye başlarsam, programım gelişir ve herhangi …

41 haskell  lisp 

Şu anda C, C ++ ve Python ile kodluyorum. İşlevsel bir programlama dili seçmek istiyorum ve şu anda Haskell'e yaslanıyorum. Burada "Haskell vs Lisp" savaşı başlatmak istemiyorum; bilmek istediğim şey şudur: Haskell'i öncelikle işlevsel programlamaya maruz kalmak için öğrenirsem, daha sonra Lisp'i öğrenmekten ne gibi faydalar elde edeceğim?

40 learning  functional-programming  haskell  lisp  paradigms 

Sık sık aşağıdaki ifadelere / argümanlara rastlarım: Saf işlevsel programlama dilleri, yan etkilere izin vermez (ve bu nedenle pratikte çok az kullanışlıdır, çünkü faydalı bir programın, örneğin dış dünyayla etkileşime girdiğinde, yan etkileri vardır). Saf işlevsel programlama dilleri, durumu koruyan bir program yazmanıza izin vermez (çoğu programda duruma ihtiyaç duyduğunuz …

39 functional-programming  haskell 

Bu ortaya çıktığında, burada wikipedia'daki gcc derleyici paketi hakkında araştırma yapıyordum : GCC, Bison ile üretilen LALR ayrıştırıcılarını kullanmaya başladı, ancak yavaş yavaş elle yazılmış özyinelemeli iniş ayrıştırıcılarına geçti; 2004’te C ++ ve 2006’da C ve Objective-C için. Şu anda tüm ön uçlar el yazısı özyinelemeli iniş ayrıştırıcıları kullanıyor Bu …

38 java  ruby  haskell  parsing  swift-language 

Bu felsefi bir soru olabilir, ancak buna objektif bir cevap olduğuna inanıyorum. Haskell hakkındaki wikipedia makalesini okursanız, aşağıdakileri bulabilirsiniz: Dil, Haskell Curry ve entelektüel torunlarının “kanıt bir programdır; kanıtladığı formül program için bir türdür” gözlemlerine dayanır. Şimdi soruyorum: bu gerçekten tüm programlama dilleri için geçerli değil mi? Haskell'in hangi özelliği …

37 haskell 

Diyelim ki, ben aşağıdaki mantığı var. İşlevsel Programlamaya nasıl yazılır? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Blogların çoğundaki örnekler, makaleler ... Görüyorum ki …

36 functional-programming  haskell  clojure