haskell

14Ciepło

2Odpowiedz

Słowo foldl „nie jest zoptymalizowana, a także Int foldl”

import Data.List test :: Int -> Int test n = foldl' (+) 0 [1..n] main :: IO() main = do print $ test $ 10^8 GHC optymalizuje powyższy kod do tego stopnia, że garbage collector nawet nie

5Ciepło

1Odpowiedz

Funkcjonalny typ kolejki

Chciałbym reprezentować rodzaj struktury danych kolejki funkcjonalnie, ale tak naprawdę nie dostałem nigdzie. Sprawdziłem Zippers, ale nie wydają się być właściwą strukturą. szczególności próbuję repr

8Ciepło

1Odpowiedz

W tym artykule CRC Kmett, dlaczego ab = a0^n + 0^m b? Co oznacza ta notacja?

W Edward Kmett's article on CRCs ma następujące wyprowadzenia: CRC(ab) = -- definition of CRC crc(INIT,ab) + FINAL = -- linearity crc(INIT,a0^n + 0^m b) + FINAL = -- additive homomorphis

10Ciepło

1Odpowiedz

Dlaczego zestaw testów GHC jest napisany w języku Python, a nie w Haskell?

Zauważyłem, że GHC (powszechnie używany kompilator Haskell) ma pakiet testowy napisany w Pythonie, a nie w Haskell (jak naiwnie oczekiwałbym). Jaka jest historia tego? Czy zapisywanie zestawu testów w

6Ciepło

1Odpowiedz

Trzecie prawo monolityczne i IO?

Patrząc na ten kod IO: Prelude> let e = return() :: IO() Prelude> e `mappend` e Prelude> let y = e `mappend` e Prelude> :t y y :: IO() EDIT Podobno, jak rozumiem, IO ma instancję Monoid. Czy jed

8Ciepło

3Odpowiedz

Realizacja (^)

czytałem kod realizacji (^) z biblioteki standardowej Haskell: (^) :: (Num a, Integral b) => a -> b -> a x0^y0 | y0 < 0 = errorWithoutStackTrace "Negative exponent" | y0 == 0 = 1 | otherw

5Ciepło

2Odpowiedz

Wyodrębnianie listę wartości z listy maybes bez fromJust

Wejście: [Just "foo", Just "bar", Nothing, Just "quux"] wyjściowa: ["foo", "bar", "quux"] Nie jestem zadowolony z następującym roztworze przy użyciu fromJust ponieważ nie jest bardzo przenośny do wiąz

18Ciepło

1Odpowiedz

Filtr analizy porównawczej i partycja

Testowałem wydajność funkcji partition dla list i otrzymałem pewne dziwne wyniki, jak sądzę. Mamy tę partition p xs == (filter p xs, filter (not . p) xs), ale wybraliśmy pierwszą implementację, poniew

6Ciepło

1Odpowiedz

Czy jest możliwe zaimplementowanie funkcji polimorficznych w DSL przy użyciu Free

Buduję małe DSL za pomocą Free Monads. Chciałbym mieć funkcje polimorficzne w moim DSL. Przykładem coś chciałbym zbudować to: {-# LANGUAGE TemplateHaskell #-} import Control.Monad.Free.Church da

7Ciepło

1Odpowiedz

Jak zdefiniować instancję dla konkretnej aplikacji typu w Haskell 98?

zauważyłem, że zestaw testowy dla Data.Set tylko naprawdę definiuje Arbitrary Set a sensownie dla a ~ Int, ale aby uniknąć GHC specjalny ~ używa instance Enum a => Arbitrary (Set a) Jak mogę się upe