haskell

6Ciepło

5Odpowiedz

Funkcja dla określenia, czy ciąg jest palindrom mogą być realizowane w pointfree aplikacyjnej sposób poprzez pal1 = (==) <$> reverse <*> id A oto monadycznego wersja reverse >>= (==) Jak działa we

5Ciepło

2Odpowiedz

Wydajność przydzielania pamięci Haskell FFI Wydajność

Używam FFI do C, aby przesłać średnio duże ilości danych (~ 100 MB) do programu w języku C - wystarczy lista ciągów. Jednak wszystkie metody, których użyłem, wydają się zajmować nieuzasadnioną ilość c

9Ciepło

1Odpowiedz

Nieoczekiwany wyjątek NullReferenceException w algorytmie F #

Próbuję przepisać niektóre algorytmy Haskella w projekcie Perły funkcjonalnego algorytmu Richarda Birda przy użyciu F # i uzyskać wyjątek NullReferenceException, którego nie rozumiem. Algorytm Haskell

9Ciepło

1Odpowiedz

Zaawansowane indeksowanie/dzielenie Numpy'ego w Haskell

Numpy ma wyrafinowaną funkcję indeksowania/krojenia/stopniowania w swoim operatorze dostępu do macierzy. Zobacz: http://docs.scipy.org/doc/numpy/reference/arrays.indexing.html Eksperymentując z Haskel

7Ciepło

2Odpowiedz

Na deklaracji instancji funktora

Ładuje bez błędu: data Const c a = Const c instance Functor (Const c) where fmap _ (Const v) = Const v ... ale to data Const' c a = Const' c instance Functor (Const' c) where fmap _ cv

17Ciepło

1Odpowiedz

Jak to się stało, że Haskell dostał błąd segmentacji, gdy wektor jest bardzo duży, ale pod ograniczeniem pamięci?

Chciałem napisać program, który działa na naprawdę dużej tablicy i wykonuje wiele operacji odczytu/zapisu z dostępem swobodnym. Pomyślałem vector jest najbardziej odpowiedni sposób to zrobić w Haskell

9Ciepło

1Odpowiedz

Stos (Haskell) wyrzuca TlsException w Windows

Stack (pod Windows) czasami rzuca następujący wyjątek podczas próby pobierania plików (np podczas stack setup lub podczas pobierania plan build): TlsException (HandshakeFailed (Error_Protocol ("certif

8Ciepło

2Odpowiedz

Wiele parametrów typu w klasie typów?

Załóżmy Mam klasy typu Stack z jednej instancji List: class Stack a where push :: a -> Integer -> a pop :: a -> a last :: a -> Integer data List = Empty | Element Integer List instan

7Ciepło

1Odpowiedz

Usuwanie lewej rekursji w podstawowym analizatorze składni

Jako ćwiczenie, implementuję parser dla wyjątkowo prostego języka zdefiniowanego w Haskell, używając następującego GADT (prawdziwa gramatyka dla mojego projektu zawiera dużo więcej wyrażeń, ale ten wy

10Ciepło

1Odpowiedz

Jak udowodnić podwójną negację dla wartości typu booleans?

Mam następujący moduł: {-# LANGUAGE DataKinds, KindSignatures, TypeFamilies, RoleAnnotations #-} module Main where import Data.Coerce (coerce) -- logical negation for type level booleans type fa