«haskell» 태그된 질문

Applicativetypeclass을 나타내는 LAX monoidal 펑 해당 입력 기능의 범주에 직교 monoidal 구조를 유지. 다시 말해서, (,)단일체 구조 를 형성하는 표준 동 형사상이 주어지면 : -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) lunit_fwd …

9 haskell  functor  applicative  category-theory 

내가 여러 번 겪어 본 패턴은 테스트를 매핑하고 일부 또는 모든 요소가 통과했는지 확인하여 값 목록을 확인 해야하는 패턴입니다. 전형적인 솔루션은 편리한 내장 기능을 사용하는 것입니다 all및 any. 문제는 이것들이 연속적으로 평가된다는 것입니다. 많은 경우에는 것 정도 되면 프로세스가 완료되고 병렬로 평가 빠른 어떤 스레드가 "거짓"를 찾아 all나에 대한 "true"로 …

9 haskell  testing  concurrency  parallel-processing  any 

나는 자극적 인 것들을 우연히 발견했습니다. 나는 haskell이 약한 머리 정상 형태 (WHNF)로 작동한다는 것을 알고 있으며 이것이 무엇인지 알고 있습니다. 다음 코드를 ghci에 입력하십시오 (저는 : sprint 명령을 사용하여 식을 WHNF로 줄입니다). let intlist = [[1,2],[2,3]] :sprint intlist 제공 intlist = _이 차종은 완전히 나에게 감지. let stringlist = …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

나는 Haskell을 배우고 있으며 이해하기 어려운이 동작을 우연히 발견했을 때 Yesod에 대한 간단한 DB 시드 프로그램을 수행하고있었습니다. testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Yesod GHCI 세션 : $ :t concatMap testFn [3] concatMap testFn [3] :: Bool …

9 haskell  traversal 

( 이 질문에 대한 나의 대답에서 영감을 얻었습니다 .) 이 코드를 고려하십시오 (주어진 입력보다 작거나 같은 가장 큰 요소를 찾아야합니다). data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v -> Maybe (Integer, v) closestLess i …

9 haskell  lazy-evaluation  dry 

다소 다른 종류의 상태로 상태 머신 패밀리를 정의하려고합니다. 특히, 더 "복잡한"상태 머신은 더 단순한 상태 머신의 상태를 결합함으로써 형성된 상태를 갖는다. (이것은 객체가 객체이기도 한 여러 속성을 갖는 객체 지향 설정과 유사합니다.) 다음은 내가 달성하고자하는 것에 대한 간단한 예입니다. data InnerState = MkInnerState { _innerVal :: Int } data OuterState …

9 haskell  state  monads  monad-transformers  state-monad 

왜 이것들이 동일하지 않습니까? show $ if someCondition then someInt else some double 과 if someCondition then show someInt else show someDouble if ... else첫 번째 예제 의 부분을 ​​표현식으로 분리하면 익명 합계 유형으로 유형을 나타낼 수 없다는 Int | Double것을 이해합니다. langauge는 자주 사용하고 Sum 유형을 지원합니다.) Either를 기반으로 …

9 haskell  compiler-construction  language-features  typechecking 

callCC를 이해하는 데 정말로 어려움을 겪고 있습니다. 나는 Continuations의 힘을 얻었고 멋진 컨셉을 만들기 위해 일부 프로젝트에서 컨셉을 사용하고 있습니다. 그러나보다 큰 기능을 가진 것을 사용할 필요는 없었습니다 cont :: ((a->r)->r)-> Cont r a. 그것을 사용한 후에는 왜 그들이 모든 모나드의 어머니 인 Cont Monad라고 부르는지 이해가 되겠지만, 그래도 언제 …

9 haskell  functional-programming  monads 

몇 가지 다이어그램을 일종의 테이블에 모 으려고합니다. 나는 이것을 "인덱스 프린트" 라고 생각한다 . 사진 사람들은 한 번에 많은 사진을 검토해야 할 때 그렇게한다. 어쨌든, 이것은 코드입니다 : main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne) examples renderOne :: AnyGraph -> Diagram B renderOne …

9 haskell  haskell-diagrams 

폐쇄되었습니다 . 이 질문은 더 집중되어야 합니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 한 가지 문제에만 집중할 수 있도록 질문을 업데이트하십시오 . 휴일 6 개월 전 . 최근에는 실제 사례 제작 시스템에서 Haskell을 사용하려고합니다. Haskell 타입 시스템은 정말 큰 도움을줍니다. 예를 들어, 유형의 기능이 …

9 haskell  higher-order-functions  fold