«haskell» 태그된 질문

클래스 제약 조건이있는 함수를 GHC에서 특수화하는 데 문제가 있습니다. 여기 내 문제의 최소한의 예를 가지고 : Foo.hs 및 Main.hs을 . 두 파일은 컴파일 (GHC 7.6.2, ghc -O3 Main)되어 실행됩니다. 참고 : Foo.hs 실제로 제거되었습니다. 제약 조건이 필요한 이유를 보려면 여기에서 더 많은 코드를 볼 수 있습니다 . 코드를 단일 파일에 …

156 haskell  ghc 

먼저, 내가 읽고있는 Real World Haskell 은 결코 사용하지 foldl않고 대신 사용 한다고 말합니다 foldl'. 그래서 나는 그것을 믿습니다. 하지만 사용하는 경우에 흐릿 해요 foldr대 foldl'. 나는 그들이 다르게 작동하는 방식의 구조를 볼 수 있지만 "어느 쪽이 더 낫다"는 것을 이해하기에는 너무 바보입니다. 둘 다 동일한 대답을 생성하기 때문에 어떤 …

155 recursion  functional-programming  fold  haskell 

간단한 대답이 있습니까? 왜 GHC가 그렇게 큰가요? 오캠 : 2MB 파이썬 : 15MB SBCL : 9MB OpenJRE-26MB GHC : 113MB "하스켈이 올바른 도구라면 왜 크기에 신경 쓰지 말아야합니까?"의 전도에는 관심이 없다. 이것은 기술적 인 질문입니다.

147 haskell  ghc 

다음과 같이 정의 된 데이터 유형이 있습니다. data ComitteeView = CommitteeView { committeeId :: CommitteeId , committeeMembers :: [Person] } data CommitteesView = CommitteesView { committeeView :: [CommitteeView] } 자, 그대로 Persistent 모델을 다음과 같이 정의했습니다. Person name Text Committee name Text CommitteePerson personId PersonId committeeId CommitteeId Esqueleto를 사용하여 CommitteeView를 …

144 sql  list  haskell  esqueleto 

ghc-modvim 플러그인 을 사용하여 유형 / 구문 검사 등을 수행 하려고합니다 . 그러나 ghc-mod항상 오류 메시지에 유형의 전체 경로를 사용 한다는 것을 알았습니다 . test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with ‘[GHC.Types.Char]’ || Expected type: containers-0.5.6.2:Data.Map.Base.Map || [GHC.Types.Char] || ([(integer-gmp-1.0.0.0:GHC.Integer.Type.Integer, || integer-gmp-1.0.0.0:GHC.Integer.Type.Integer)], || containers-0.5.6.2:Data.Set.Base.Set || integer-gmp-1.0.0.0:GHC.Integer.Type.Integer) || …

143 haskell  ghc  ghc-mod 

동시 컨텍스트에서 OpenSSL.Session API 를 올바르게 사용하는 방법을 찾으려고 합니다. 예를 들어 stunnel-style ssl-wrapper, 을 구현하고 싶다고 가정 하면 다음과 같은 기본 골격 구조가 있어야 순진하게 구현됩니다.full-duplex tcp-port-forwarder: runProxy :: PortID -> AddrInfo -> IO () runProxy localPort@(PortNumber lpn) serverAddrInfo = do listener <- listenOn localPort forever $ do (sClient, …

141 haskell  openssl  ssl 

나는 "리프팅"이 무엇인지 이해하지 못한다. "리프트"가 무엇인지 이해하기 전에 모나드를 먼저 이해해야합니까? (모나드에 대해서도 완전히 무지합니다.) 아니면 누군가가 간단한 단어로 나에게 설명 할 수 있습니까?

138 haskell  functional-programming 

hint내 프로그램과 함께 사용하기 위해 Haskell에 플러그인을 작성할 수 있도록 Haskell 인터프리터를 사용 하고 싶었습니다. 내 실행 파일을 위해 전체 Haskell 플랫폼을 제공하고 싶지 않습니다. 일반적으로 Haskell 실행 파일은 독립적입니다. 예를 들어을 지우면 PATH문제가 발생하지 않습니다. $ PATH=. Hello Hello world 그러나 다음을 runInterpreter지우면 폭탄을 사용하는 간단한 테스트 프로그램입니다 PATH. …

136 haskell  packaging  shipping 

Haskell에서 다음 함수를 효율적으로 해결하는 방법에 대한 모든 포인터 (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) 하스켈에서 피보나치 수를 풀기위한 메모리 화의 예를 보았습니다. 피보나치 수는 필요한 n까지 모든 피보나치 수를 계산하는 것이 었습니다. 그러나이 경우 주어진 n에 대해 중간 결과를 거의 계산하지 않아도됩니다. 감사

136 haskell  memoization 

교회 번호는 자연수를 함수로 인코딩 한 것입니다. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 깔끔하게, 당신은 단지 그들을 적용하여 두 교회 번호를 …

135 algorithm  haskell  functional-programming  lambda-calculus  modular-arithmetic 

ghci에 여러 줄 명령을 입력하는 데 문제가 있습니다. 다음 2 줄 코드는 파일에서 작동합니다. addTwo :: Int -> Int -> Int addTwo x y = x + y 그러나 ghci에 들어가면 오류가 발생합니다. <interactive>:1:1: error: Variable not in scope: addTwo :: Int -> Int -> Int 나는 또한 코드를 넣는 …

135 haskell  ghci 

닫힘 . 이 질문은 더 집중되어야 합니다. 현재 답변을 받고 있지 않습니다. 휴일 육년 전 . 잠김 . 이 질문과 답변은 주제에서 벗어 났지만 역사적 의미가 있기 때문에 잠겨 있습니다. 현재 새로운 답변이나 상호 작용을 받아들이지 않습니다. F # 과 Haskell 을 비교하기 위해 인터넷에서 검색 했지만 실제로 결정적인 것을 …

135 haskell  f#  functional-programming  language-comparisons 

목록의 요소를 구분 기호로 연결하는 기능이 있습니까? 예를 들면 다음과 같습니다. > foobar " " ["is","there","such","a","function","?"] ["is there such a function ?"] 답장을 보내 주셔서 감사합니다!

131 list  haskell  concat 

우리는 "메시지"를 수신 및 전달하는 프로그램을 개발하고 있으며, 해당 메시지의 임시 기록을 유지하면서 요청시 메시지 기록을 알려줄 수 있습니다. 메시지는 숫자로 식별되며 일반적으로 크기는 약 1KB이므로 수십만 개의 메시지를 보관해야합니다. 대기 시간을 위해이 프로그램을 최적화하려고합니다. 메시지를주고받는 시간은 10 밀리 초 미만이어야합니다. 이 프로그램은 Haskell로 작성되었으며 GHC로 컴파일되었습니다. 그러나 실제 프로그램에서 …

130 performance  haskell  garbage-collection  ghc  latency 

하스켈 mod과 의 차이점은 정확히 무엇입니까 rem? 둘 다 같은 결과를주는 것 같습니다 *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divide by zero *Main> rem 1 0 *** Exception: divide by …

130 haskell