«haskell» etiketlenmiş sorular

Real World Haskell'i okuyordum ve sona yaklaşıyorum, ancak (.)ve ($)operatörleriyle ilgili bir tarz meselesi beni kandırıyor . Diğer işlevlerin bileşimi olan bir işlevi yazdığınızda, şöyle yazarsınız: f = g . h Ama bu fonksiyonların sonuna bir şey uyguladığınızda, bunu şöyle yazıyorum: k = a $ b $ c $ value …

129 haskell  coding-style  function-composition 

Şuna benzeyen bir Haskell koduyla karşılaştım: ps@(p:pt) @Bu bağlamda sembol ne anlama geliyor? Google'da herhangi bir bilgi bulamıyorum (maalesef Google'da sembol aramak zor) ve işlevi Prelude belgelerinde bulamıyorum, bu yüzden bunun bir çeşit sözdizimsel şeker olması gerektiğini düşünüyorum.

128 haskell  syntax 

Daha önce deneysel bir özellik olarak kullanılan bağımlı yöntem türleri, artık ana hatta varsayılan olarak etkinleştirildi ve görünüşe göre bu biraz heyecan yaratmış gibi görünüyor , Scala topluluğunda . İlk bakışta, bunun ne için yararlı olabileceği hemen belli değil. Heiko Seeberger, bağımlı yöntem türlerinin basit bir örneğini burada yayınladı ; …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

Önemsiz derecede küçük Haskell programları bile devasa yürütülebilir dosyalara dönüşür. Küçük bir program yazdım, (GHC ile) ikiliye 7 MB genişleyen boyutta derlenmiş! Küçük bir Haskell programının bile devasa ikili dosyaya derlenmesine ne sebep olabilir? Bunu azaltmak için ne yapabilirim?

127 haskell  linker  ghc  static-linking  glfw 

Haskell'de bir ağacı veya listeyi cebirsel veri türlerini kullanarak temsil etmek yeterince kolaydır. Ama bir grafiği tipografik olarak nasıl temsil edersiniz? Görünüşe göre işaretçilerin olması gerekiyor. Sanırım böyle bir şeye sahip olabilirsin type Nodetag = String type Neighbours = [Nodetag] data Node a = Node a Nodetag Neighbours Ve bu …

125 haskell  types  graph  functional-programming  algebraic-data-types 

Interactive-Haskell repl ile garip davranışlarla karşılaşıyorum emacs. Bir dosyanın kaynağı olduğumda, emacsmini arabellek bir dizi etkileşimli bilgi istemini gösterir: Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for default): Set current directory: Ya cabal dizinini ya da geçerli dizini proje dizininin varsayılan değerine bırakırsam, …

124 haskell  emacs  cabal  ghci 

Haskell'de (çoğunlukla GHC ile) bazı veri türlerinin bir değerini depolamak için gereken gerçek bellek miktarını nasıl bulabilirim? Çalışma zamanında değerlendirmek mümkün mü (örneğin GHCi'de) veya bileşenlerinden bir bileşik veri türünün bellek gereksinimlerini tahmin etmek mümkün mü? Genelde, türleri bellek gereksinimleri varsa ave bbilinir gibi cebirsel veri türleri bellek havai nedir: …

124 haskell  memory-management  ghc  algebraic-data-types 

İçinde myAny işlev için kod bu soru kullandığı foldr. Yüklem karşılandığında sonsuz bir listeyi işlemeyi durdurur. Foldl kullanarak yeniden yazdım: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item || acc (Adım işlevinin argümanlarının doğru …

124 haskell  lazy-evaluation  combinators  fold 

Learnyouahaskell.com'dan Haskell'i öğreniyorum . Tür oluşturucuları ve veri oluşturucuları anlamakta sorun yaşıyorum. Örneğin, bunun arasındaki farkı gerçekten anlamıyorum: data Car = Car { company :: String , model :: String , year :: Int } deriving (Show) ve bu: data Car a b c = Car { company :: a …

124 haskell 

Okur monad çok karmaşık ve işe yaramaz görünüyor. Java veya C ++ gibi zorunlu bir dilde, yanılmıyorsam okuyucu monad için eşdeğer bir kavram yoktur. Bana basit bir örnek verip bunu biraz netleştirebilir misin?

122 haskell  monads  reader-monad 

Şu anda olduğu gibi, bu soru Soru-Cevap formatımıza uygun değil. Cevapların gerçekler, referanslar veya uzmanlıkla desteklenmesini bekliyoruz, ancak bu soru büyük olasılıkla münazara, argümanlar, anketler veya uzun tartışmalar gerektirecektir. Bu sorunun iyileştirilebileceğini ve muhtemelen yeniden açılabileceğini düşünüyorsanız, rehberlik için yardım merkezini ziyaret edin . 8 yıl önce kapalı . Bir …

121 haskell  functional-programming 

Tembel değerlendirmenin neden yararlı olduğunu uzun zamandır merak ediyorum. Henüz bana mantıklı bir şekilde açıklama yapacak kimsem yok; çoğunlukla "bana güvenmek" için kaynar. Not: Hafızayı kastetmiyorum.

119 haskell  functional-programming  lazy-evaluation 

Haskell uygulamalarının neden bir GC kullandığını merak ediyorum. Saf bir dilde GC'nin gerekli olduğu bir durum düşünemiyorum. Kopyalamayı azaltmak için sadece bir optimizasyon mu yoksa gerçekten gerekli mi? Bir GC yoksa sızıntı yapacak örnek kod arıyorum.

119 haskell  garbage-collection 

Diyelim ki aşağıdaki ADT kaydına sahibim: data Foo = Bar { a :: Integer, b :: String, c :: String } Bir kayıt alan ve alanlardan biri hariç tümünün bağımsız değişken olarak iletilenle aynı değerlere sahip olduğu bir kayıt (aynı türden) döndüren bir işlev istiyorum, örneğin: walkDuck x = Bar …

119 haskell  record 

Bu anahtar kelimenin ne işe yaradığına dair gerçek bir açıklama için interneti araştırdım. Baktığım her Haskell öğreticisi onu rastgele kullanmaya başlıyor ve hiçbir zaman ne işe yaradığını açıklamıyor (ve pek çoğuna baktım). İşte Real World Haskell'in kullandığı temel bir kod parçası Just. Kodun ne yaptığını anlıyorum, ancak amacının veya işlevinin …

118 haskell  syntax