«haskell» 태그된 질문

나는 많은 링크를 따르거나 범주 이론 교과서를 열 필요가없는 재귀 체계와 코어 커션 체계 (이화, 아나 모피 즘, 히로 모피 즘 등)에 대한 정말 간단하고 이해하기 쉬운 설명을 찾고 있습니다. 나는 이러한 체계를 무의식적으로 재창조하고 코딩 과정에서 내 머릿속에 "적용"했다고 확신합니다 (많은 사람들이 알고 있음을 확신합니다). 사용이 호출됩니다. (좋아요, 거짓말을했습니다. …

83 haskell  recursion  functional-programming  recursion-schemes 

하스켈을 JVM (컴파일 또는 해석)에서 실행할 수있는 방법이 있는지 궁금합니다. Sourceforge에 JHaskell이 있지만 이것은 비어 있고 죽은 것처럼 보입니다. GHC는 LLVM을 컴파일러 백엔드로 사용합니다. LLVM을 Java 바이트 코드로 컴파일하는 것이 좋은 아이디어입니까 아니면 가능합니까? 아니면 다른 컴파일러 백엔드를 사용할까요?

83 haskell  jvm  jvm-languages  frege 

Happstack Lite는 blaze-html 버전 0.5를 얻고 버전 0.4를 원하기 때문에 저를 깨고 있습니다. Cabal은 0.4.3.4 및 0.5.0.0 버전 이 모두 설치되어 있다고 말합니다 . 0.5.0.0을 제거하고 이전 버전 만 사용하고 싶습니다. 그러나 cabal에는 "uninstall"명령이 없으며를 시도 ghc-pkg unregister --force blaze-html하면 ghc-pkg명령이 무시되었다고합니다. 어떡하죠? 업데이트 : 그것을 믿지 마십시오 . ghc-pkg명령을 …

82 haskell  ghc  cabal 

응용 펑 터는 컴포지션에서 닫히지 만 모나드는 그렇지 않다는 것은 잘 알려져 있습니다. 그러나 모나드가 항상 구성하는 것은 아니라는 구체적인 반례를 찾는 데 어려움을 겪었습니다. 이 대답 은 [String -> a]비 모나드의 예입니다. 잠시 놀아 본 후 직관적으로 믿었지만 그 대답은 실제로 정당화하지 않고 "조인을 구현할 수 없습니다"라고 말합니다. 좀 …

82 haskell  monads  composition  proof 

어떤 상황에서 사용해야 liftIO합니까? 내가 사용하는 경우 ErrorT String IO는 lift기능에 IO 조치를 해제하기 위해 노력하고 ErrorT있으므로, liftIO불필요한 보인다.

82 haskell  monad-transformers 

GHCi 내 에서이 함수 ( learnyouahaskell 에서 가져옴 )에 해당하는 것을 어떻게 정의 합니까? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub 유형 선언이 없으면 GHCi는 함수 정의를 받아들이지 만 결국에는 도움이되지 않는 유형이됩니다. Prelude Data.List> import Data.List Prelude Data.List> let numUniques' = …

82 haskell  types  ghci  function-declaration 

저는 Haskell을 처음 접했고 이해할 수없는 "무한 유형을 구성 할 수 없습니다"라는 오류에 직면했습니다. 사실 그 이상으로이 오류가 무엇을 의미하는지에 대한 좋은 설명을 찾을 수 없었기 때문에 기본 질문을 넘어서 "무한 유형"오류에 대해 설명해 주시면 정말 감사하겠습니다. 코드는 다음과 같습니다. intersperse :: a -> [[a]] -> [a] -- intersperse '*' …

82 haskell  types  type-inference 

이 용어는 haskell과 함수형 프로그래밍에 대한 블로그 (특히 sigfpe의 블로그 ) 에서 많이 읽었 지만 그것이 의미하는 바에 대해서는 전혀 모르겠습니다. 나는 대부분의 경우 그것을 모른 채 도망 치지 만, 내가 알았다면 아마도 텍스트를 훨씬 더 잘 이해했을 것입니다. Google은 나를 돕지 않았습니다. 나는 기술적 인 일에 빠져 들었다. 또한 …

81 haskell  functional-programming  metaprogramming  terminology  reification 

질문의 제목에서 알 수 있듯이 Levity 다형성이 무엇이며 그 동기가 무엇인지 알고 싶습니다. 나도 이 페이지는 거기에 몇 가지 세부 사항을 가지고 있지만, 설명의 대부분은 내 머리의 맨 위에이 이동합니다. :) 이 페이지 는 좀 더 친근 하지만 여전히 그이면의 동기를 이해할 수 없습니다.

81 haskell 

Haskell에서 다음과 같은 작업을하고 싶습니다. main1 = do s <- getLine if s == "foo" then putStr "You entered foo" 없음 때문에 분명히 이것은 합법적이지 않습니다 else. 내가 생각한 한 가지 대안 : nop :: IO () nop = sequence_ [] main2 = do s <- getLine if s == …

81 haskell  syntax  io 

모든 컨테이너 유형이 주어지면 (요소 중심) 지퍼를 형성 할 수 있으며이 구조가 Comonad임을 알 수 있습니다. 이것은 최근 다음 유형에 대한 또 다른 스택 오버플로 질문 에서 훌륭하게 자세히 탐구되었습니다 . data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving Functor 다음 지퍼로 data Dir …

80 haskell  zipper  deriving  comonad 

현재이 질문은 Q & A 형식에 적합하지 않습니다. 사실, 참고 문헌 또는 전문 지식이 답변을 뒷받침 할 것으로 기대하지만이 질문은 토론, 논쟁, 여론 조사 또는 확장 된 토론을 유도 할 가능성이 높습니다. 이 질문이 개선되고 다시 열릴 수 있다고 생각 되면 도움말 센터 를 방문하여 안내를 받으세요. 휴일 팔년 전에 …

80 haskell 

누군가 기능 렌즈를 설명해 주시겠습니까? Google에게는 놀랍도록 어려운 주제이며 진전을 이루지 못했습니다. 내가 아는 것은 OO와 비슷한 get / set 기능을 제공한다는 것입니다.

80 haskell  functional-programming  lenses 

Haskell 커뮤니티의 일반적인 의견은를 Text대신 사용하는 것이 항상 더 낫다는 것 같지만 String, 유지 관리되는 대부분의 라이브러리의 API가 여전히 String지향적 이라는 사실 은 저를 혼란스럽게합니다. 다른 한편으로, 모두 실수로 간주 하고 모든 지향 함수의 인스턴스를 제공하는 주목할만한 프로젝트 가 있습니다.StringPreludeStringText . 그렇다면 사람들이 String역방향 및 표준 Prelude 호환성과 "스위치 만들기 …

80 string  haskell  text 

두 개의 Ints ( a및 b) 를 얻고 A/B로 반환 하는 함수가 필요합니다 Int. 나는 그것이 A/B항상 정수 가 될 것이라고 확신합니다 . 내 해결책은 다음과 같습니다. myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = fromIntegral b in truncate (x …

79 haskell  int