haskell

7Ciepło

1Odpowiedz

Przetwarzanie wyrażenia od prawej do lewej

Buduję analizator składni dla wyrażenia. Oto mój przepis gramatyka: expr ::= term (+ expr | - expr | null) term ::= expo (* term |/term | null) expo ::= factor (^ expo | null) factor ::= (expr) | i

parsing haskell 2016-11-17

---

12Ciepło

1Odpowiedz

Kind Demotion (w przeciwieństwie do promocji Kind)

Rozszerzenie DataKinds promuje "wartości" (tj. Konstruktorów) w typy. Na przykład True i False stają się odrębnymi rodzajami rodzaju Bool. Co chciałbym zrobić, to odwrotnie, tzn. Zdegradować typy do w

haskell higher-kinded-types data-kinds 2016-11-21

---

8Ciepło

1Odpowiedz

Dlaczego ten kod nie narusza "wymagań dotyczących nasycenia rodzin typów"?

mam ten minimalny przykład roboczy (zaczerpnięte z biblioteki singletons) mapowania rodzinę typ na liście Typ szczebla: {-# language PolyKinds #-} {-# language DataKinds #-} {-# language TypeFamilie

haskell type-level-computation 2016-11-23

---

5Ciepło

1Odpowiedz

Stos i kontrola wersji Haskella

Jestem nowy w Haskell i Stack. Podczas tworzenia nowego projektu przy użyciu stack new, które pliki powinny być rejestrowane w git (lub jakimkolwiek innym VCS)? Cały reżir?

git haskell version-control haskell-stack 2016-10-19

---

7Ciepło

1Odpowiedz

Jak ukryć operatora podczas importowania?

Oto mój kod, próbując przedefiniować *. To może być osiągnięte tylko wtedy, gdy * wcześniej hided: import Prelude hiding (*) (*) :: Int -> Int -> Int x * 0 = 0 x * y = x + x*(y-1) Ale to nie dzi

haskell 2016-10-25

---

6Ciepło

1Odpowiedz

Dlaczego wynik funkcji nie jest ponownie używany?

Kiedy próbuję zakodować algorytm najkrótszej ścieżki, natknąłem się na dziwną rzecz. Po funkcji floydWarshall generuje macierz zależności w formie tablicowej, funkcja main próbuje wielokrotnie zapytać

haskell 2016-11-01

---

7Ciepło

1Odpowiedz

Używanie Hlint z intero na emacs

Nie mogę uzyskać hlint sugestii, aby pojawić się w emacs za pomocą intero. mam nowa instalacja emacs 24,5 dodałem rzeczy Intero na here do nowego ~/.emacs pliku mam nic innego do emacs zrobić. Czytałe

haskell emacs hlint intero 2016-11-03

---

11Ciepło

2Odpowiedz

Czy można napisać funkcję czynnikową tak szybko, jak "podręcznik" w inny sposób?

widzę to jako ogólną formę silni funkcji w Haskell: factorial :: (Integral a) => a -> a factorial n = product [1..n] Rozumiem, że jest to najbardziej elegancki sposób, ale kiedy napisać własny funk

haskell recursion optimization 2016-11-08

---

5Ciepło

1Odpowiedz

wynikających lektura Instancje dla GADTs

Jak mogę automatycznie czerpać instancji Read dla tego GADTs: {-# LANGUAGE GADTs, StandaloneDeriving #-} data TypeDec a where TypeDecInt :: TypeDec Int TypeDecString :: TypeDec String de

haskell template-haskell 2016-11-08

---

18Ciepło

3Odpowiedz

Jak uniknąć odwoływania się do wszystkich zmiennych stanu podczas aktualizowania tylko kilku?

Idiom używać do komponowania kilka procedur (z pamięcią) jest następujący: p1 :: State (Int, String)() p1 = do (a, b) <- get ... do something ... put (a', b) p2 :: State (Int, String

haskell state-monad 2016-11-10

---