haskell

9Ciepło

3Odpowiedz

Problem podczas mieszania klasy typu i rodzin typu

Ten kod kompiluje grzywny: {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, FlexibleContexts, EmptyDataDecls, ScopedTypeVariables, TypeOpe

6Ciepło

4Odpowiedz

Przechwytywanie wejścia audio z mikrofonu, z Haskell?

Czy istnieje dojrzała biblioteka, która może włączyć wejście i wyjście audio i pracować w Haskell? (Ładne opakowanie jest oczywiście w porządku.) Szukam czegoś, co może z łatwością uchwycić wejście mi

9Ciepło

4Odpowiedz

Wykonywanie dowolnych funkcji w Haskell

Podczas pracy z pochodnymi instancjami w Haskell, czy możliwe jest wyprowadzanie funkcji dla dowolnych typów lub czy ograniczamy się do konkretnych funkcji?

36Ciepło

2Odpowiedz

Wyższe-kinded Typy z C++

To pytanie jest dla ludzi, którzy znają zarówno Haskell (lub innego języka funkcjonalnego, który obsługuje wyższej kinded typy) i C++ ... Czy można modelować wyższe kinded rodzajów korzystania Szablon

12Ciepło

1Odpowiedz

Powód pobierania i wkładania MonadState?

Czytam rozdział Monady w świecie rzeczywistym Haskell (rozdział 14). Funkcja jest defined następująco: type RandomState a = State StdGen a getRandom :: Random a => RandomState a getRandom = get

9Ciepło

3Odpowiedz

Zagnieżdżony produkt kartezjański z listy Haskella:

Chciałbym stworzyć metodę, w której mógłbym podać listę długości i zwrócić wszystkie kombinacje współrzędnych kartezjańskich do tych długości. Łatwiej wyjaśnić na przykładzie: cart [2,5] Prelude> [ [

13Ciepło

5Odpowiedz

„dopasowanie Wzór” konstruktorów danych algebraicznych typu

Rozważmy typ danych z wielu konstruktorów: data T = Alpha Int | Beta Int | Gamma Int Int | Delta Int Chcę napisać funkcję, aby sprawdzić, czy dwie wartości są produkowane z tego samego konstruktora:

7Ciepło

1Odpowiedz

Korzystanie z Data.Heap w Haskell, lub czytanie dokumentacji Haskell dla początkujących

Próbuję użyć modułu Haskells Data.Heap, ale nie jestem w stanie nawet używać go z liczbami całkowitymi. Jedyną stertą, którą byłem w stanie użyć, jest "pusty", który nie przyjmuje żadnych argumentów.

8Ciepło

4Odpowiedz

Haskell parsec parsowanie ciąg elementów

Mam listę, które muszę przeanalizować, gdzie wszystkie oprócz ostatniego element musi być analizowany przez jeden analizator składni, a ostatni element musi być analizowany przez inny parser. a = "p1

26Ciepło

1Odpowiedz

"Ściśle pozytywnie" w Agdzie

Próbuję zakodować pewne denotujące semantyki w Agdzie w oparciu o program napisany w Haskell. data Value = FunVal (Value -> Value) | PriVal Int | ConVal Id [Value] | Error String