haskell

10Ciepło

1Odpowiedz

Dlaczego pełne lenistwo jest domyślną optymalizacją?

Pełna lenistwo został repeatedly demonstrated do cause space leaks. Dlaczego pełne lenistwo zaczyna się od -O? Nie przekonuje mnie rozumowanie w SPJ's The Implementation of Functional Programming Lang

5Ciepło

1Odpowiedz

Marshaling wektory wskaźników

Próbuję reprezentować Haskell par arbitralnie zagnieżdżonych w prawo (tj. Vector (Int64, (Int64, (...)))) jako 2-d tablicy w C (tj. int64_t**), indeksowane jako składnik wektora, następnie składnik kr

8Ciepło

2Odpowiedz

Dlaczego konieczna jest redukcja kontekstu?

Właśnie przeczytałem this paper ("Klasy typów: eksploracja przestrzeni projektowej" autorstwa Peytona Jonesa & Jones), co wyjaśnia niektóre problemy związane z wczesnym systemem Haskella i jego ulepsz

8Ciepło

2Odpowiedz

Dlaczego Haskell Pipes "używać() do zamknięcia nieużywanych wejść i X (niezamieszkanego typu), aby zamknąć nieużywane wyjścia"?

W Pipes Tutorial, to mówi, że: Konkretne synonimami typu użyć () zamknąć nieużywane wejścia i X ( wpisać niezamieszkana), aby zamknąć nieużywane wyjścia: Chciałbym zrozumieć, dlaczego () i X są używan

8Ciepło

1Odpowiedz

Dlaczego kompilator nie mógł dopasować typu "a == a" z "True" dla rodziny typów?

Czy jest jakiś powód, dlaczego ten kod nie jest kompilowany: type family Foo a b :: Bool where Foo a b = a == b foo :: Foo a b ~ True => Proxy a -> Proxy b foo _ = Proxy bar :: Proxy a -> Pr

10Ciepło

3Odpowiedz

Dlaczego: sprint zawsze drukuje "_"?

Prelude> let a = 3 Prelude> :sprint a a = _ Prelude> let c = "ab" Prelude> :sprint c c = _ Dlaczego zawsze jest drukowany numer _? Nie całkiem rozumiem semantykę polecenia :sprint.

5Ciepło

1Odpowiedz

Pakiet `Piątek` jest bardzo wolny

Piszę program Haskell, który rysuje big maps z Knytt Stories plików światowych. Używam pakietu friday do tworzenia plików graficznych i muszę skomponować wiele warstw graficznych, które układam razem

9Ciepło

1Odpowiedz

Uszkodzona obecność/brak uwierzytelnienia na poziomie typu

Kontekst: Zbliżam się do Haskella z punktu widzenia konwersji błędów środowiska wykonawczego na błędy podczas kompilacji. Moja hipoteza jest taka, że jest to możliwe, jeśli można skodyfikować logikę

5Ciepło

1Odpowiedz

Jak poprawnie zdefiniować preludium "firmy"

Zdecydowałem się użyć własnego Prelude dla większego projektu (zawierającego niektóre biblioteki i niektóre pliki wykonywalne). Preludium nie eksportuje niektórych funkcji częściowych i eksportuje nie

8Ciepło

3Odpowiedz

Różnica w zdolnościach między fmap i bind?

Jestem nowicjuszem w zakresie programowania funkcjonalnego (pochodzącego z javascript) i ciężko mi jest odróżnić te dwie rzeczy, co jest również męczące z moim rozumieniem funktorów kontra monad. funk