haskell

5Ciepło

1Odpowiedz

Haskell, kanały, STM, -threaded, Message Passing

Próbuję użyć kanałów/STM do implementacji przekazywania komunikatów w Haskell. Może to okropny pomysł i istnieje lepszy sposób na wdrożenie/wykorzystanie przekazywania wiadomości w Haskell. Jeśli tak,

6Ciepło

3Odpowiedz

Jak określić statyczny identyfikator Haskella URI w kodzie za pomocą Network.URI?

W pakiecie Haskell Network.URI dostępna jest funkcja parseURI :: String -> Maybe URI. Chciałbym mieć kilka statycznych identyfikatorów URI w moim kodzie. Czy rozsądnie jest napisać co następuje? Just

6Ciepło

2Odpowiedz

Dlaczego nie mogę ułożyć na sobie dwóch czytników?

dostaję błędy tak: Powiedzmy mam monadStack ReaderT A (ReaderT B m), gdy używam ask lub asks, pojawia się błąd jak poniżej: Types.hs:21:10: Couldn't match type ‘A’ with ‘B’ arising from a fu

22Ciepło

1Odpowiedz

Jaki jest właściwy sposób sprawdzania zgodności abstrakcji lambda za pomocą "bound"?

Wdrażam prosty, zależnie pisany język, podobny do tego described by Lennart Augustsson, a także do zarządzania powiązaniami za pomocą bound. Gdy typechecking zależną termin lambda, np λt:* . λx:t . x

6Ciepło

1Odpowiedz

Jak odczytać pamięć współdzieloną za pomocą biblioteki mmap Haskella?

Na C, można utworzyć obiekt udostępniony z pamięci: int fd = shm_open("/object", O_RDWR | O_CREAT, 0777); mogę również odczytać z tej pamięci z wykorzystaniem mmap: int* addr = mmap(0, sizeof(*addr)

9Ciepło

1Odpowiedz

Jakie są różnice między inline-c i language-c-inline?

Przez krótki czas analizowałem biblioteki quasi-cytatów dla Haskella. Biblioteki te pozwalają Haskell na integrację z innymi językami. Do integracji z C, wydaje się, że dwa pakiety o podobnej funkcjon

8Ciepło

2Odpowiedz

Dlaczego funkcja (+) pasuje do typu (a -> b -> b)? Funkcja

krotnie: fold :: b -> (a -> b -> b) -> [a] -> b fold z f [] = z fold z f (x:xs) = f x (fold z f xs) zaczerpnięte z http://www.seas.upenn.edu/~cis194/spring13/lectures/04-higher-order.html Prelude

15Ciepło

3Odpowiedz

Dlaczego produkt [0 ..] nie ocenia wartości "natychmiast"?

Próbuję zrozumieć lenistwo. Ponieważ 0 pomnożone przez dowolną liczbę to 0, nie powinno być product [0..] oszacować na 0? Próbowałem też foldl (*) 1 [0..] i zdefiniować własne produkt jako myProduct 0

5Ciepło

2Odpowiedz

Konflikt nazw między wartościami pól i zakresu lokalnego w Haskell

To jest pytanie o styl kodowania, a nie techniczne. Często spotykałem się z problemem, w którym używam składni rekordów (mniejszej niż optymalnej) składni Haskell (lub soczewek, problem kończy się tak

12Ciepło

1Odpowiedz

funkcja mapowania z listy do danych

Szukam zmiany hnn package w celu obsługi różnych funkcji aktywacji dla każdego węzła w sieci. Funkcja W szczególności this line i this line stosowanie specyficznych (aktywacja), ale staram się rozszer