Biorąc pod uwagę dowolny typ kontenera, możemy utworzyć (skoncentrowany na elementach) Zipper i wiedzieć, że ta struktura jest Comonad. Zostało to niedawno zbadane ze wspaniałymi szczegółami w innym pytaniu o przepełnienie stosu dla następującego typu: data Bin a = Branch (Bin a) a (Bin a) |...
Potrzebuję funkcji, która pobiera dwa Ints ( ai b) i zwraca A/Bjako Int. Jestem pewien, że A/Bzawsze będzie to liczba całkowita. Oto moje rozwiązanie: myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = fromIntegral b in truncate (x / y) Ale chcę znaleźć prostsze...
Potrzebuję pomocy, aby zrozumieć użycie trzech funkcji Haskella try ( Control.Exception.try :: Exception e => IO a -> IO (Either e a)) złapać ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) uchwyt ( Control.Exception.handle :: Exception e => (e...
W Real World Haskell , rozdział 4. o programowaniu funkcjonalnym : Napisz foldl z foldr: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f a x) Powyższy kod bardzo mnie zmylił, a ktoś o nazwisku dps...
Według mojego zrozumienia, funkcje częściowe są funkcjami, które otrzymujemy, przekazując do funkcji mniej parametrów niż oczekiwano. Na przykład, jeśli byłoby to bezpośrednio poprawne w Pythonie: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>>...
Obecnie pracuję nad prostym tłumaczem dla języka programowania i mam taki typ danych: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr I mam wiele funkcji, które wykonują proste rzeczy, takie jak: -- Substitute a value for a variable substituteName :: String -> Int...
W moim projekcie muzycznym napotkałem niewielki problem estetyczny i od pewnego czasu mnie to denerwuje. Mam typ data Key = C | D | ...i mogę zbudować Scalea Keyi a Mode. W Moderozróżnia np główną i mniejszą skalę. Mogę zdefiniować Modetyp jako funkcję od Keydo Scale. W takim przypadku tryby będą...
W module System.Infowidzę te funkcje: os :: String arch :: String compilerName :: String compilerVersion :: Version Dlaczego tam nie IOma? Uzyskują dostęp do systemu ... Czy się mylę? Moje oczekiwania były jak: os :: IO String arch :: IO String compilerName :: IO String compilerVersion :: IO...
Załóżmy, że mam parametr, który istnieje tylko na korzyść systemu typów, na przykład jak w tym małym programie: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) ->...
Uczę się Aplikacji Haskella. Wydaje mi się (prawdopodobnie się mylę), że purefunkcja nie jest tak naprawdę potrzebna, na przykład: pure (+) <*> [1,2,3] <*> [3,4,5] można zapisać jako (+) <$> [1,2,3] <*> [3,4,5] Czy ktoś może wyjaśnić zalety tej purefunkcji w porównaniu...
Propozycje (P -> Q) -> Qi P \/ Qsą równoważne. Czy istnieje sposób, aby być świadkiem tej równoważności w Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to :: ((a -> b) -> b) -> Either a b to =...
To pytanie nie jest subiektywne. Bardzo konkretny czasownik jest używany w książce, do której się odwołuje, i chciałbym zrozumieć, jakie są implikacje tego sformułowania, ponieważ obawiam się, że coś źle zrozumiałem. W Learn You a Haskell poniższy akapit jest trzecim i ostatnim, który zawiera...
To pytanie teoretyczne dotyczy funkcji Haskella, które mogą przyjmować argumenty dowolnego typu. Czy istnieje różnica między sposobem działania z podpisami typu a -> b -> a i c -> a -> c są tworzone? Każda pomoc jest mile
Wydaje mi się, że zawsze można przekazywać argumenty funkcji, a nie klasę. Na przykład zamiast definiowania klasy równości: class Eq a where (==) :: a -> a -> Bool Używanie go w innych funkcjach do wskazywania argumentu typu musi być instancją Eq: elem :: (Eq a) => a -> [a] ->...
Obecnie studiuję Haskell i staram się zrozumieć projekt, w którym Haskell wdraża algorytmy kryptograficzne. Po przeczytaniu „ Naucz się Haskella dla wielkiego dobra” w Internecie, zaczynam rozumieć kod z tego projektu. Potem okazało się, że utknąłem na następującym kodzie z symbolem „@”: -- |...
Wiele rodzajów optyki ma reprezentację van Laarhoven. Na przykład Lenstyp Lens s t a b może być reprezentowany jako: Functor f => (a -> f b) -> s -> f t Podobnie a Traversal, można przedstawić w podobny sposób, zamieniając Functorograniczenie na Applicative: Applicative f =>...
Jako ćwiczenie piszę parser Haskella od zera. Tworząc leksyk zauważyłem następujące zasady dotyczące raportu Haskell 2010 : cyfra → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → dowolny Unicode cyfry dziesiętne octit → 0| 1| … | 7 hexit → cyfra | A| … | F| a| … |f dziesiętny →...
W moim projekcie Haskell, gdy ja stack run, pokazuje, ale nadal działa. Jakie to ostrzeżenie? Jak mogę się tego pozbyć? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions above 2.4, but version 3.0.1.0 was found, this...
Przy obliczaniu IO (IO ())zarówno (IO ())i ()jest obliczane, więc dlaczego main :: IO (IO ()) main = print <$> (print "Hello, World!") wydrukować "Hello, World!" nie IO "Hello, World!" -- ?? "Hello,
Mam ćwiczenie, w którym muszę zdefiniować typ reprezentujący listę z wartościami od 0 do 5. Najpierw pomyślałem, że mogę rozwiązać to tak rekurencyjnie: data List a = Nil | Content a (List a) Ale nie sądzę, że jest to właściwe podejście. Czy możesz mi dać do...