haskell

5Ciepło

1Odpowiedz

Brakujące symbole debugowania w statycznie połączonych plikach binarnych

Buduję statycznie połączone pliki binarne za pomocą stosu i próbuję dodać do niego symbole debugowania (następujące: https://downloads.haskell.org/~ghc/master/users-guide/debug-info.html). Jednak rapo

15Ciepło

1Odpowiedz

Czy transformator monad kontynuacji może mieć alternatywną instancję z niektórymi i wieloma?

Możemy zdefiniować transformator kontynuacja monady jako data Cont r m a = Cont {run :: (a -> m r) -> m r} Możemy dać Cont r m Alternatywnych instancji jeśli m jest członkiem Alternative poprzez emp

8Ciepło

1Odpowiedz

Jak wyświetlać treści statyczne za pomocą Spocka (Haskell)?

Używam serwera Spock i chcę obsłużyć trochę statycznej zawartości. Używam funkcji respondMiddleware z pakietu "Web.Spock.Action". Podpis brzmi: respondMiddleware :: Monad m => Middleware -> ActionCtxT

8Ciepło

1Odpowiedz

Jaka jest przyczyna tego tajemniczego błędu typu Haskell polegającego na odbiciu?

Grałem z pakietem Haskell reflection i napotkałem błąd typu, którego nie rozumiem w pełni. Najpierw próbowałem napisać następującą funkcję, która szczęśliwie typechecks: {-# LANGUAGE TypeApplications

7Ciepło

1Odpowiedz

Czy możliwe jest zaimplementowanie sztuczki Data.Reflection za pomocą rodzin typów zamiast podpowiedzi?

Implementacja GHC Data.Reflection z pakietu wykorzystuje sztuczkę obejmującą unsafeCoerce, która wykorzystuje sposób, w jaki GHC kompiluje typologie przy użyciu przekazywanych słowników. Realizacja je

9Ciepło

2Odpowiedz

W Haskell, czy możliwe jest zapewnienie domyślnej implementacji dla częściowo zastosowanej klasy typu wieloparametrowego?

Na przykład mam klasy typ: class MyClass a b c where fun01 :: a -> b fun02 :: a -> c fun03 :: a -> b -> c ->() fun04 :: a -> WhatEver chciałbym zapewnić realizację domyślny dla

5Ciepło

2Odpowiedz

Czy możesz prześledzić, jak działa ta składana funkcja lambda Haskella?

myReverse :: [a] -> [a] myReverse = foldl (\a x -> x:a) [] foldl is (a -> b -> a) -> a -> [b] -> a Funkcja lambda jest oczywiście w nawiasach. Skąd foldl otrzymuje wartość początkową? A co w tym

5Ciepło

1Odpowiedz

Jak korzystać z listy obiektywów?

Czy mogę użyć listy Traversal? Poniższy kod: f::[Int] -> [[Int]] f l = [l & i .~ 1 | i<-[ix 0], (l^? i) == Just 0] generuje błąd: • Couldn't match type ‘Const (Data.Monoid.First Int) [Int]’

5Ciepło

1Odpowiedz

Co to jest introspekcja kodu w haskell?

W yesod book znajduje się ustęp: Szablon Haskell jest zasadniczo Haskell, który generuje Haskell Abstract Syntax drzewo (AST). W rzeczywistości jest więcej mocy w TH, ponieważ może on rzeczywiście int

7Ciepło

1Odpowiedz

TypeFamilies lub GADTs nagle przerywa poprawny kod

mam bardzo niewinnie wyglądający kod data Config = Config { cInts :: [Int] , cStrings :: [String] } instance Semigroup Config where c1 <> c2 = Config { cInts = andCombiner cInts