«haskell» 태그된 질문

나는 한동안 F #에서 개발을 해왔고 그것을 좋아합니다. 그러나 내가 아는 한 가지 유행어는 F #에 존재하지 않는 고급 유형입니다. 나는 고급 유형에 대한 자료를 읽었으며 그 정의를 이해한다고 생각합니다. 나는 그들이 왜 유용한 지 잘 모르겠습니다. 누군가 Scala 또는 Haskell에서 F #의 해결 방법이 필요한 고급 유형의 예를 제공 …

88 scala  haskell  types  f#  higher-kinded-types 

닫힘 . 이 질문은 의견 기반 입니다. 현재 답변을 받고 있지 않습니다. 이 질문을 개선하고 싶으십니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 2 년 전 . 이 질문 개선 나는이 질문에 대해 오랫동안 생각해 왔지만 실제로 Stackoverflow에 대한 유사한 질문과 Google에서 …

88 compiler-construction  haskell  ocaml  functional-programming 

이 Haskell 코드는에서 훨씬 느리게 실행 -O되지만 위험하지-O 않아야합니다 . 누가 무슨 일이 있었는지 말해 줄 수 있습니까? 중요한 경우이 문제 를 해결하려는 시도 이며 이진 검색 및 영구 세그먼트 트리를 사용합니다. import Control.Monad import Data.Array data Node = Leaf Int -- value | Branch Int Node Node -- sum, …

87 haskell  optimization  ghc  compiler-bug 

나는 최근에 Haskell과 Agda (종속 형 함수형 프로그래밍 언어)를 특징으로하는 대학 과정을 마쳤고, 이것들의 람다 미적분을 조합 논리로 대체 할 수 있는지 궁금했습니다. Haskell을 사용하면 S 및 K 결합자를 사용하여 가능해 보이므로 포인트가 없습니다. Agda에 해당하는 것이 무엇인지 궁금합니다. 즉, 변수를 사용하지 않고 Agda와 동등한 종속 유형의 함수 프로그래밍 언어를 …

87 haskell  types  functional-programming  logic  agda 

문서에 대해 약간 혼란스러워서 fix(지금해야 할 일을 이해한다고 생각하지만) 소스 코드를 살펴 보았습니다. 그로 인해 더 혼란스러워졌습니다. fix :: (a -> a) -> a fix f = let x = f x in x 이것이 고정 소수점을 정확히 반환하는 방법은 무엇입니까? 명령 줄에서 시도해보기로했습니다. Prelude Data.Function> fix id ... 그리고 …

87 haskell  fixpoint-combinators  letrec 

GHCi에서 : Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: 첫 번째 예외가 중첩 된 예외가 아닌 이유는 무엇입니까?

87 exception  haskell 

-Wall옵션을 사용하여 내 Haskell 애플리케이션을 컴파일 할 때 GHC는 고아 인스턴스에 대해 다음과 같이 불평합니다. Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result 타입 클래스 ToSElem는 내 것이 아니며 HStringTemplate에 의해 정의됩니다 . 이제이 문제를 해결하는 방법 (인스턴스 선언을 Result가 선언 된 모듈로 이동)을 알고 있으며 GHC가 고아 인스턴스를 피하는 것을 …

87 haskell  ghc  typeclass 

이 Haskell 코드에서 도트 연산자가 수행하는 작업을 이해하려고합니다. sumEuler = sum . (map euler) . mkList 전체 소스 코드는 다음과 같습니다. 나의 이해 점 연산자는 두 가지 함수 sum와 결과 map euler및 결과를 mkList입력으로 취합니다 . 하지만 sum함수가 아니라 함수의 인수 인 거죠? 그래서 여기서 무슨 일이 일어나고 있습니까? 또한 …

86 haskell  syntax  function-composition 

from명령문 에서 SQL 문자열을 생성하기 위해 esqueleto를 얻으려면 어떻게 해야합니까? 의 문서는 toRawSql"영구적 인 쿼리 로깅을 켜도됩니다"라고 말합니다. 내가 MonadLogger이해할 수있는 모든 가능한 형태를 시도했지만 SQL을 인쇄하지 않았습니다. 동일한 문서에 "이 기능을 수동으로 사용하는 것은 가능하지만 지루합니다"라고도 나와 있습니다. 그러나 유형의 생성 자나 유형의 값을 반환하는 함수 QueryType는 내보내지지 않습니다. …

86 haskell  yesod  esqueleto 

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

85 haskell  programming-languages 

주어진 : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo 다음 String의 인스턴스 를 만들고 싶습니다 Fooable. instance Fooable String where toFoo = FooString GHC는 다음과 같이 불평합니다. Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

GHC가 자연수의 경우 짝수를 반으로 만 줄일 수 있음을 어떻게 증명하는지 알아 내기 위해이 작은 하스켈을 썼습니다. {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: Parity where Flip …

84 haskell  ghc  proof  haskell-platform  formal-verification 

(이 질문이 주제와 관련이 있기를 바랍니다. 답변을 검색했지만 확실한 답변을 찾지 못했습니다. 주제에서 벗어 났거나 이미 답변 된 경우 검토 / 삭제하십시오.) Haskell이 최고의 명령형 언어 라는 반 농담을 몇 번 듣고 읽었던 기억이 있습니다 . 물론 Haskell이 일반적으로 기능적 특징 으로 가장 잘 알려져 있기 때문에 이상하게 들립니다 . …

84 haskell  imperative-programming 

내가 볼 go하스켈 재료 나 소스를 읽을 때 많은,하지만 난 그것에 대해 정말 편안 적이 없습니다 - (나는 내 마음에 "고토"의 부정적인 내포를 가지고 추측). 나는 LYAH와 함께 Haskell을 배우기 시작했고, 그것이 내가 사용하는 경향 acc과 step접는 부분을 쓸 때 알게 된 곳 입니다. 글쓰기 관습은 어디 go에서 왔습니까? 가장 …

83 haskell  naming-conventions 

표준 라이브러리 Haskell typeclasses MonadPlus, Alternative및 Monoid각각은 본질적으로 동일한 의미를 가진 두 가지 메서드를 제공합니다. 빈 값 : mzero, empty, 또는 mempty. 운영자 a -> a -> a: 함께 typeclass 값을 결합 mplus, <|>또는 mappend. 세 가지 모두 인스턴스가 준수해야하는 다음 법률을 지정합니다. mempty `mappend` x = x x `mappend` …

83 haskell  functional-programming  typeclass  applicative  monoids