Zamknięte . To pytanie musi być bardziej skoncentrowane . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby skupiało się tylko na jednym problemie, edytując ten post . Zamknięte 7 miesięcy temu . Ostatnio próbuję...
Próbuję połączyć kilka diagramów w coś w rodzaju stołu. Myślę, że nazywa się to „drukiem indeksowym” - fotografowie robią to, gdy muszą przeglądać wiele fotografii jednocześnie. W każdym razie jest to kod: main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne) examples renderOne ::...
Naprawdę mam problemy ze zrozumieniem callCC. Dostaję moc kontynuacji i wykorzystałem tę koncepcję w niektórych moich projektach, aby stworzyć fajne koncepcje. Ale nigdy nie musiałem używać czegoś o większych możliwościach niż cont :: ((a->r)->r)-> Cont r a. Po użyciu ma sens, dlaczego...
Dlaczego nie są równoważne? show $ if someCondition then someInt else some double i if someCondition then show someInt else show someDouble Rozumiem, że jeśli wyodrębnisz if ... elseczęść w pierwszym przykładzie do wyrażenia samodzielnie, nie będziesz mógł reprezentować jego typu za pomocą...
Próbuję zdefiniować rodzinę maszyn stanowych z nieco odmiennymi rodzajami stanów. W szczególności bardziej „złożone” maszyny stanów mają stany, które powstają przez połączenie stanów prostszych maszyn stanów. (Jest to podobne do ustawienia obiektowego, w którym obiekt ma kilka atrybutów, które...
(Zainspirowany moją odpowiedzią na to pytanie ). Rozważ ten kod (powinien znaleźć największy element, który jest mniejszy lub równy podanemu wejściu): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v -> Maybe...
Uczę się Haskell i robiłem prosty program DB-seed dla Yesod, kiedy natknąłem się na takie zachowanie, które trudno mi zrozumieć: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Sesja GHCI Yesod: $ :t concatMap testFn [3] concatMap testFn [3] :: Bool ->...
Natknąłem się na niektóre irytujące rzeczy. Wiem, że haskell działa ze słabą normalną postacią głowy (WHNF) i wiem, co to jest. Wpisując następujący kod do ghci (używam polecenia: sprint, który redukuje wyrażenie do WHNF według mojej wiedzy.): let intlist = [[1,2],[2,3]] :sprint intlist daje mi...
Wzorzec, z którym się zetknąłem już wiele razy, jest taki, w którym należy sprawdzić listę wartości, mapując na niej jakiś test i sprawdzając, czy którykolwiek lub wszystkie elementy przeszły. Typowym rozwiązaniem jest po prostu użycie wygodnych wbudowanych alli any. Problem polega na tym, że...
Ta Applicativeklisza reprezentuje luźne funktory monoidalne, które zachowują kartezjańską monoidalną strukturę w kategorii typowanych funkcji. Innymi słowy, biorąc pod uwagę obserwowane kanoniczne izomorfizmy, które (,)tworzą strukturę monoidalną: -- Implementations left to the motivated...
Problem Rozważ następujący problem projektowy w Haskell. Mam prosty, symboliczny EDSL, w którym chcę wyrażać zmienne i wyrażenia ogólne (wielomiany wielomianowe), takie jak x^2 * y + 2*z + 1. Ponadto chcę wyrazić pewne równania symboliczne zamiast wyrażeń, powiedzmy x^2 + 1 = 1, a także definicji...
Mam ten (co prawda dziwny) kod, który używa obiektywu i GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main...