haskell

5Ciepło

2Odpowiedz

W aeson, w jaki sposób kodujesz z wartości bez tworzenia notacji naukowej?

Przetworzyłem dużą ilość jsonów, zmanipulowałem niektóre wartości i chciałbym je zapisać. Aeson dekoduje liczby do danych naukowych, ale kiedy je koduje, domyślnie, w wielu przypadkach naukowych pokaz

8Ciepło

1Odpowiedz

Uruchamianie i kompilowanie 'Hello, World!' w Haskell

Jestem nowym Haskell i mam problem uruchomiony następujący kod: module Main ( main ) where main = putStrLn "Hello, world!" SublimeHaskell próbuje skompilować i uruchomić powyżej używając runhaskel

7Ciepło

1Odpowiedz

Haskell: Zmienna nie w zakresie

mam kod jak: main = interact $ show . maxsubseq . map read . words maxsubseq :: (Ord a,Num a) => [a] -> (a,[a]) maxsubseq = snd . foldl f ((0,[]),(0,[])) where f ((h1,h2),sofar) x = (a,b) where a

10Ciepło

1Odpowiedz

Jak mogę idiomatycznie i wydajnie spożywać fajkę w monadzie innej niż IO z operacją IO?

mam Producer który tworzy wartości, które zależą od przypadkowości, wykorzystując własne Random monady: policies :: Producer (Policy s a) Random x Random jest opakowaniem nad mwc-random, które mogą

8Ciepło

2Odpowiedz

Jak nazywa się to monotonne prawo?

W dokumentacji Data.Monoid, stwierdza się następujące przepisy powinny zostać spełnione: mappend mempty x = x mappend x mempty = x mappend x (mappend y z) = mappend (mappend x y) z mconcat = foldr

5Ciepło

1Odpowiedz

Widen typy w ocaml

Próbuję napisać bezpłatną bibliotekę monad w ocaml, po Control.Monad.Free z haskell, ale utknąłem w pewnym momencie, w realizacji hoistFree. hoistFree :: Functor g => (forall a. f a -> g a) -> Free f

12Ciepło

1Odpowiedz

Kiedy jest użyteczne użycie "ścisłej wieloznacznej" w Haskell i co ona robi?

Szukałem w pewnym kodzie źródłowym Haskell i natknąłem się na meczu wzór z !_, kod jest tutaj: http://hackage.haskell.org/package/base-4.9.0.0/docs/src/GHC.List.html#unsafeTake take n xs | 0 < n = un

6Ciepło

1Odpowiedz

Dlaczego "fix" haskella wydaje się mieć problemy z krotkami?

Próbuję zgiąć głowę wokół stałych punktów i definicji rekursywnych. to działa: >>> take 10 $ let x = (0:x) in x [0,0,0,0,0,0,0,0,0,0] To nie to samo, co ma sens, biorąc pod uwagę definicję fix: >>>

6Ciepło

1Odpowiedz

Czy możliwe jest leniwe generowanie koła?

Autor artykułu używa koła o skończonym rozmiarze, aby pominąć sprawdzanie wielokrotności pierwszych N liczb pierwszych na konstrukcji sita. Na przykład, w celu uniknięcia kontroli wielokrotności 2, 3,

6Ciepło

2Odpowiedz

różnicy pomiędzy 'Tak' i 'czysty'

Just (+) <*> Just 3 <*> Just 5 tylko 8 pure (+) <*> Just 3 <*> Just 5 tylko 8 pure (*3) <*> [0..10] [0,3,6, 9,12,15,18,21,24,27,30] Just (*3) <*> [0..10] Nie można dopasować typ '[]' z 'być mo