haskell

5Ciepło

1Odpowiedz

Tak więc jestem naprawdę nowy dla Haskella, ale grałem z notacją punktową i natrafiłem na ten problem. Jestem w konsoli: > let c = (.)negate > :t c > (a -> Integer) -> a -> Integer -> a ale negate

15Ciepło

1Odpowiedz

Prośba o rodzaju danej Type w Scala vs Haskell

Kiedy z prośbą o rodzaju [Int] i [] w Haskell uzyskać: Prelude> :k [Int] [Int] :: * Prelude> :k [] [] :: * -> * co ma sens: pierwsza jest odpowiedniego typu, a drugi jest typ wyższego rodzaju. Al

5Ciepło

1Odpowiedz

Reactive Banana: jak używać wartości ze zdalnego interfejsu API i scalać je w strumieniu zdarzeń

Używam Reactive-Banana w interfejsie WX. Po naciśnięciu przycisku muszę pobrać wartość z zewnętrznego interfejsu API usługi. Mam rodzajowy Behavior w oparciu o typ danych AppState, który "akumuluje" t

9Ciepło

1Odpowiedz

Jak zezwolić na GADT w Haskell?

Dzisiaj zacząłem się uczyć o GADT od: haskell.org i https://wiki.haskell.org Niestety, nie wiem jak z nich korzystać. Jeśli uruchomić kod z przykładu I pojawia się następujący błąd: [1 of 1] Compiling

8Ciepło

2Odpowiedz

Esqueleto: Jak usunąć element za pomocą łączenia

Czy możliwe jest następujące zapytanie za pomocą esqueleto? DELETE Table1 FROM Table1 INNER JOIN Table2 ON Table1.ID = Table2.ItemID Próbowałem: delete $ from $ \(table1 `InnerJoin` table2) -

16Ciepło

1Odpowiedz

Dlaczego w pliku * .prof jest tyle odwróconych ukośników (\)?

Patrząc w pliku *.prof generowane przy użyciu +RTS -p z profilowania włączony kompilacji, widzę wiele z tych sub-rutyny, że nazwie \: COST CENTRE MODULE %time %alloc main.\.\.\ Main

7Ciepło

3Odpowiedz

Czy mogę uzyskać KnownNat n sugerować KnownNat (n * 3), etc?

pracuję z typów danych tego kształtu, używając V z linear: type Foo n = V (n * 3) Double -> Double Mając to ustalone na n jest bardzo ważne, ponieważ chcę, aby być w stanie zapewnić, że ja przechodz

16Ciepło

1Odpowiedz

Jak zainstalować/użyć lokalnej wersji pakietu za pomocą Stack?

Sytuacja jest taka, próbuję zainstalować Netwire przy użyciu Stack. W najnowszym netwire 5.0.1 jest jednak problem, jak donosi dhobbs: http://hub.darcs.net/ertes/netwire/issue/13 Ponieważ nie wiem, ki

6Ciepło

3Odpowiedz

Haskell i Cabal brakuje po El Capitan aktualizacji

Po przeprowadzeniu aktualizacji do OS X El Capitan, Cabal i GHC nie są już znaleźć na moim systemie: -bash: ghc: command not found -bash: cabal: command not found Co muszę zrobić, aby uzyskać Cabal

5Ciepło

3Odpowiedz

Wyliczanie interfejsu w Javie

Pracuję ostatnio z Javą i zastanawiałem się, czy w Javie był jakiś rodzaj wyprowadzania implementacji interfejsu. Moim preferowanym językiem programowania jest Haskell, który jest pod wieloma względam