haskell

6Ciepło

4Odpowiedz

Dlaczego funkcja product w Haskell zwraca 1, jeśli podano pustą listę?

7Ciepło

2Odpowiedz

Zastanawiam się dlaczego Rozpakowanych typy w Haskell mają te ograniczenia: nie można zdefiniować do newtype dla rozpakowanych typu: newtype Vec = Vec (# Float#, Float# #) ale można określić typ syn

8Ciepło

1Odpowiedz

Haskell: stosować ostatni odnosi się do zmiennej efektywnego tworzenia nowego kodu o zmiennej

ten C koncepcyjnie można opisać jako tworzenie nowej tablicy identyczną tablicy wejść, z 1 jako pierwszy element: int* retire_and_update(int* arr) { arr[0] = 1; return arr; } tę jest czys

8Ciepło

1Odpowiedz

Którą wersję pakietu mam?

Trzeba myśleć, że jest to FAQ, ale nie udało się znaleźć odpowiedź na to proste pytanie: Która wersja danego pakietu mam w mojej instalacji GHC? Tło Próbuję dowiedzieć się Haskell, w tym celu, robię m

17Ciepło

1Odpowiedz

Co robi pragma UNPACK, w tym przypadku?

Mam problem ze zrozumieniem, jak działa UNPACK w Haskell. Rozważmy, na przykład, następujące deklaracje danych: data P a b = P !a !b data T = T {-# UNPACK #-} !(P Int Int) Jak dataType T być rozpak

5Ciepło

1Odpowiedz

kolejność wykonywania Haskell IO

Mam następujący kod: import Control.Monad (unless) import System.IO (isEOF, hFlush, stdout) main :: IO() main = unlessFinished $ do putStr "$ " hFlush stdout getLine >>= putStrLn

17Ciepło

2Odpowiedz

Wizualizacja wolnej monady

Myślę, że mam zgrubne wyobrażenie o tym, czym jest darmowa monada, ale chciałbym mieć lepszy sposób na jej wizualizację. Ma sens, że wolne magmy są po prostu binarnymi drzewami, ponieważ jest to "ogól

8Ciepło

1Odpowiedz

Jak mogę odkryć bibliotekę GHC za pomocą Runhaskell

Buduję prosty skrypt z runhaskell i próbuję użyć FastString z ghc-7.10.2. Po prostu: import FastString main = putStrLn "Hello SO" uruchomienie go z runhaskell Main.hs skutkuje błędem: Main.hs:1:8:

20Ciepło

3Odpowiedz

Jakie jest znaczenie nawiasów w sygnaturach typu Haskella?

Take podpis typu z fmap (metoda Functor) jako przykład: (a -> b) -> f a -> f b Jak to jest, że różni się od po podpisaniu typu? a -> b -> f a -> f b Czy istnieje nawet różnica między tymi dwoma ty

7Ciepło

3Odpowiedz

Dodaj akcję bez zmiany wyniku do notacji refactora

Chcę sekwencyjnie komponować dwie akcje monad w Haskell, odrzucając każdą wartość wytworzoną przez drugą i przekazując argument do obu akcji. Obecnie używam do-bloku tak: ask = do result <- getLi