haskell

5Ciepło

1Odpowiedz

Katamorfizmy dla list zakodowanych w kościele

Chcę móc używać cata z pakietu dla list w kodowaniu Kościoła. type ListC a = forall b. (a -> b -> b) -> b -> b Dla wygody stosowałem typ drugiego rzędu, ale mnie to nie obchodzi. Jeśli uważasz, że j

5Ciepło

2Odpowiedz

Tricky typ podpis dla par pary odwrócone

Powiedzmy mam następujący typ danych: data D a b = D (a,b) (b,a) I chcę, aby zdefiniować następującą funkcję od niego: apply f (D x y) = D (f x) (f y) Co to jest podpis typu z apply? Oto kilka prz

7Ciepło

1Odpowiedz

zmiana Liczenie w Haskell

natknąłem się na następujące rozwiązanie problemu DP counting change: count' :: Int -> [Int] -> Int count' cents coins = aux coins !! cents where aux = foldr addCoin (1:repeat 0) where ad

5Ciepło

1Odpowiedz

Zakwalifikowany reeksport - jak rozwiązać to rozwiązanie?

Mam dokładnie taki sam problem jak opisany w pytaniu Re-export qualified? module Foo.A where foo = 42 i module Foo.B where foo = 12 i chcesz napisać super moduł module Foo ( module Foo.A

12Ciepło

1Odpowiedz

Czy dopasowanie wzoru jest bardziej wydajne niż osłony?

Ostatnio gdzieś czytałem, że dopasowywanie wzorców zachodzi podczas wykonywania, a nie podczas kompilacji. (Szukam źródła, ale nie mogę go znaleźć w tej chwili). Czy to prawda? A jeśli tak, czy strażn

15Ciepło

1Odpowiedz

Dlaczego nie jest `join` część klasy` Monad`

Jest to dobrze znany fakt, że (>>=) mogą być realizowane z wykorzystaniem fmap i join podczas join mogą być realizowane z wykorzystaniem >>=. Czy istnieje jakiś powód, dla którego nie zdefiniowaliśmy

5Ciepło

1Odpowiedz

W jaki sposób można odblokować pakiety, używając tylko stosu?

Chciałbym wypróbować monadę Writer w ghci. Zgodnie z zaleceniem here, starałem się używać tylko stosu do zarządzania GHC i pakietów oraz unikania instalacji globalnej. z nowego Ubuntu 15.04 zainstalow

6Ciepło

1Odpowiedz

Dlaczego Idris nie zaakceptuje mojego spasowania?

Oto wektor, którego elementy są indeksowane przez długość wektora. data IxVect : (n : Nat) -> (a : Nat -> Type) -> Type where Nil : IxVect 0 a (::) : a n -> IxVect n a -> IxVect (S n) a Ch

6Ciepło

3Odpowiedz

Użyj dwóch monad bez transformatora.

Aby zrozumieć, jak używać transformatorów Monada, napisałem poniższy kod bez niego. Odczytuje standardową linię wejściową po linii i wyświetla każdą linię odwróconą, aż napotkana zostanie pusta linia.

7Ciepło

1Odpowiedz

Jak działa (co) definicja rekursywna w Haskell?

Używam języka, aby rozpocząć naukę i jestem zdziwiony ponad moje rozumienie tego, jak działa definicja rekursywna. Na przykład, weźmy kolejność Liczba trójkątna (TN n = sum [1..n]) Rozwiązanie dostarc