«haskell» etiketlenmiş sorular

( Bu soruya verdiğim yanıttan ilham aldım .) Bu kodu göz önünde bulundurun (belirli bir girdiden küçük veya ona eşit olan en büyük öğeyi bulması gerekir): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v …

9 haskell  lazy-evaluation  dry 

Bir çeşit farklı devlete sahip bir devlet makineleri ailesi tanımlamaya çalışıyorum. Özellikle, daha "karmaşık" durum makineleri, daha basit durum makinelerinin durumlarının birleştirilmesiyle oluşturulan durumlara sahiptir. (Bu, bir nesnenin aynı zamanda nesne olan çeşitli özniteliklere sahip olduğu nesne yönelimli bir ayara benzer.) İşte elde etmek istediğim şeyin basitleştirilmiş bir örneği. data …

9 haskell  state  monads  monad-transformers  state-monad 

Bunlar neden eşdeğer değil? show $ if someCondition then someInt else some double ve if someCondition then show someInt else show someDouble if ... elseİlk örnekteki parçayı kendi başına bir ifadeye ayırırsanız , türünü anonim bir toplam türüyle, türünü, Int | DoubleTypeScript'te kolayca yapabileceğiniz bir şey gibi temsil edemeyeceğinizi anlıyorum …

9 haskell  compiler-construction  language-features  typechecking 

Gerçekten gerçekten callCC'yi anlamakta zorlanıyorum. Sürekliliklerin gücünü alıyorum ve bazı projelerimde bu konsepti harika konseptler oluşturmak için kullanıyorum. Ama asla daha büyük yeteneklere sahip bir şey kullanmam gerekmedi cont :: ((a->r)->r)-> Cont r a. Kullandıktan sonra, Cont Monad'ı neden tüm monadların annesi olarak adlandırdıkları çok mantıklı, YET, ne zaman kullanmam …

9 haskell  functional-programming  monads 

Birkaç şemayı bir tabloda bir araya getirmeye çalışıyorum. Bence buna "indeks baskısı" denir , fotoğrafçılık insanları aynı anda birçok fotoğrafı incelemek zorunda kaldıklarında bunu yaparlar. Her neyse, bu kod: main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne) examples renderOne :: AnyGraph -> Diagram B …

9 haskell  haskell-diagrams 

Kapalı . Bu sorunun daha fazla odaklanması gerekiyor . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Soruyu, yalnızca bu yayını düzenleyerek tek bir soruna odaklanacak şekilde güncelleyin . 8 ay önce kapalı . Son zamanlarda Haskell'i gerçek vaka üretim sistemimin bazılarında kullanmaya çalışıyorum. Haskell tipi sistem gerçekten …

9 haskell  higher-order-functions  fold