«haskell» etiketlenmiş sorular

F # 'da, boru ileri operatörünün |>kullanımı oldukça yaygındır. Ancak Haskell'de şimdiye kadar yalnızca işlev bileşiminin (.)kullanıldığını gördüm . İlişkili olduklarını anlıyorum , ancak Haskell'de boru ilerletmenin kullanılmamasının bir dil nedeni var mı yoksa başka bir şey mi?

100 haskell  f#  functional-programming  composition 

Haskell gibi saf işlevsel dillerde, bir işlevin tersini elde etmek için bir algoritma var mı? Ve işlevinizi öyle programlamanın belirli bir yolu var mı?

100 haskell  clojure  functional-programming  ocaml 

Bu C kodunu bir .chs dosyasında kodlamak nasıl olur ki c2hs onu görece güzel bir şeye dönüştürebilir? typedef enum { MONOME_BUTTON_UP = 0x00, MONOME_BUTTON_DOWN = 0x01, MONOME_ENCODER_DELTA = 0x02, MONOME_ENCODER_KEY_UP = 0x03, MONOME_ENCODER_KEY_DOWN = 0x04, MONOME_TILT = 0x05, /* update this if you add event types */ MONOME_EVENT_MAX = 0x06 …

100 haskell  c2hs 

Programımda bir sorunu gidermeye çalışırken (eşit yarıçaplı 2 daire Gloss kullanılarak farklı boyutlara çekiliyor *), tuhaf bir durumla karşılaştım. Nesneleri işleyen dosyamda, a için aşağıdaki tanıma sahibim Player: type Coord = (Float,Float) data Obj = Player { oPos :: Coord, oDims :: Coord } ve Objects.hs dosyasını içe aktaran ana …

100 haskell  types 

Bu soruna neyin neden olduğundan emin değilim, ancak bir projede, oluşturuyorum, derleyicinin sadece bir modülü derlemesi saatler sürüyor. Kod tabanımın toplam boyutu 352KB, ancak modüllerin hiçbiri 10KB'nin üzerinde değil. Yerel bir bağlantı noktası kullanıyorum, ancak bu çok önemsiz; Ben sadece Date.now()onunla getiriyorum. Elm derleyicisinin derlemesinin sonsuza kadar sürmesine neden olacak …

100 haskell  switch-statement  pattern-matching  elm 

traverseİşlevi elimden almaya çalışıyorum ve başarısız oluyorum Data.Traversable. Amacını göremiyorum. Zorunlu bir geçmişten geldiğim için, lütfen birisi bunu bana zorunlu bir döngü açısından açıklayabilir mi? Sözde kod çok takdir edilecektir. Teşekkürler.

99 haskell  traversal 

Ben kullanarak denedim her yer map, fmapsıra çalıştı. Haskell'in yaratıcıları neden bir mapişleve ihtiyaç duydular ? Sadece şu anda bilinen fmapve fmapdilden kaldırılabilen şey olamaz mı?

99 haskell 

İndekslenmiş monad nedir ve bu monad için motivasyon nedir? Yan etkileri takip etmenin yardımcı olduğunu okudum. Ancak tip imzası ve belgeler beni hiçbir yere götürmüyor. Yan etkilerin (veya başka herhangi bir geçerli örneğin) takip edilmesine nasıl yardımcı olabileceğine dair bir örnek ne olabilir?

98 haskell  monads 

Haskell'de, bu C koduna benzer şekilde indekse göre bir listeye nasıl erişebilirim? int a[] = { 34, 45, 56 }; return a[1];

97 haskell 

İçindeki absurdişlev Data.Voidaşağıdaki imzaya sahiptir; burada Void, bu paket tarafından dışa aktarılan mantıksal olarak yerleşimsiz tür: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a Belgelerin, bunun tür olarak önermeler ile geçerli formüle karşılık geldiğine …

97 haskell  type-theory  curry-howard 

İşlevsel programlama konusunda yeniyim ve kısa süre önce Learn You a Haskell'de öğreniyorum , ancak bu bölümden geçerken aşağıdaki programa takılıp kaldım: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ show x]) multWithLog :: Writer [String] Int multWithLog = do …

97 haskell  monads 

Haskell'de, içinde görünen her şeyi dışa aktarmanın yanı sıra bir modülü yeniden dışa aktaran bir modül yazmak mümkün mü ? Şu modülü düşünelim: module Test where import A f x = x Bu modül , içinde tanımlanan her şeyi dışa aktarır , böylece fiçe aktarılan hiçbir şeyi dışa aktarır, ancak …

96 haskell  module  export 

Bu klasik makaleyi okurken paramorfizmlere takılıp kaldım. Ne yazık ki bölüm oldukça ince ve Wikipedia sayfası hiçbir şey söylemiyor. Haskell çevirim: para :: (a -> [a] -> b -> b) -> b -> [a] -> b para f base = h where h [] = base h (x:xs) = f …

95 haskell  recursion  functional-programming  higher-order-functions 

Haskell çekirdek kitaplıkları için çevrimdışı dokümanlar (ve belki daha fazlası) için varsa, olasılıklar nelerdir? Bazen dizüstü bilgisayarımı wifi olmayan bir kafeye götürüyorum ve Hoogle gibi bir şeye sahip olmak ama çevrimdışı kullanım için güzel olurdu .

95 haskell  offline-mode 

Haskell Prelude'a baktığımda bir işlev görüyorum const : const x _ = x Bu işlevle ilgili hiçbir şey bulamıyorum. Amaç ne? Bu işlevin nerede kullanılabileceğine dair bir örnek verebilir misiniz?

94 haskell