«haskell» 태그된 질문

닫은. 이 질문은 Stack Overflow 지침을 충족하지 않습니다 . 현재 답변을 받고 있지 않습니다. 이 질문을 개선하고 싶으십니까? Stack Overflow의 주제에 맞게 질문을 업데이트하세요 . 휴일 3 년 전 . 이 질문 개선 모나드, 응용, 화살표 등과 같은 많은 기능적 관용어가 있습니다. 그것들은 다른 기사에 문서화되어 있지만 불행히도 한 곳에서 …

106 scala  haskell  functional-programming  monads 

XRankNTypesGHCi 에서 활성화하려고합니다 . 어떻게해야합니까?

106 haskell  ghci  language-extension 

m2가 다음에 없는데 m1이 분명히 메모 된 이유를 알 수 없습니다. m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000은 첫 번째 호출에서 약 1.5 초가 걸리고 후속 호출에서 그 일부 (아마도 목록을 캐시 함)에 걸리는 반면, m2 10000000은 항상 같은 시간 (각 …

106 haskell  ghc  memoization 

Haskell의 Comonad typeclass는 무엇입니까? 에서 Comonad에서와 같이 comonad 패키지 Control.Comonad (A Comonad의 typeclass는 또한 제공하는 다른 패키지의 설명은 환영합니다). 나는 Comonad에 대해 막연하게 들었지만, 내가 그것에 대해 정말로 아는 extract :: w a -> a것은 Monad의 return :: a -> m a. "실제"코드에서 Comonad의 "실제"사용에 대한 보너스 포인트.

105 haskell  typeclass  comonad 

최근에 증명에서 패턴 매칭과 결합 된 타입 홀이 Haskell에서 꽤 멋진 Agda와 같은 경험을 제공한다는 것을 알게되었습니다. 예를 들면 : {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * where Refl :: x == x sym :: a == b -> b …

105 haskell  dependent-type 

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

104 haskell  comparison  lisp  language-comparisons 

Haskell을 배우기 위해 일부 프로젝트 오일러 문제를 해결하는 동안 (현재 저는 완전히 초보자입니다) 문제 12에 도달했습니다 . 이 (순진한) 솔루션을 썼습니다. --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. ((n `quot` 2)+1)], n `rem` x == 0] …

104 haskell  performance  profiling 

Haskell의 유형 안전성은 종속 유형 언어 에 뒤지지 않습니다 . 그러나 Text.Printf 에는 다소 유형이 이상한 것처럼 보이는 깊은 마법이 있습니다. > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 이것 뒤에 숨겨진 깊은 마법은 무엇입니까? Text.Printf.printf함수가 이와 같은 가변 인수를 어떻게 취할 …

104 haskell  printf  variadic-functions  polyvariadic 

Haskell의 ADT ( Algebraic Data Types )는 자동으로 일부 유형 클래스 (예 :Show,Eq)에서 파생 되어 인스턴스가 될 수있습니다. data Maybe a = Nothing | Just a deriving (Eq, Ord) 내 질문은 이것이 어떻게 deriving작동하는지입니다. 즉, Haskell이 파생 ADT를 위해 파생 된 유형 클래스의 함수를 구현하는 방법을 어떻게 알 수 있습니까? …

104 haskell  typeclass  derived-types  derived-instances  deriving 

목록의 n 번째 요소를 찾는 세 가지 함수가 있습니다. nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> …

104 haskell  if-statement  case 

어제 저는 Stack 이라는 새로운 Haskell 도구에 대해 배웠습니다 . 첫 번째 홍당무에서, 그것은 Cabal과 거의 같은 일을하는 것처럼 보입니다. 그렇다면 그들 사이의 차이점은 무엇입니까? 스택은 Cabal을 대체합니까? 어떤 경우에 Cabal 대신 Stack을 사용해야합니까? 기갑 단이 할 수없는 스택은 무엇을 할 수 있습니까?

104 haskell  cabal  haskell-stack 

닫힘 . 이 질문은 더 집중되어야 합니다. 현재 답변을 받고 있지 않습니다. 이 질문을 개선하고 싶으십니까? 이 게시물 을 편집 하여 한 가지 문제에만 집중하도록 질문을 업데이트하십시오 . 휴일 오년 전에 . 이 질문 개선 함수형 언어는 상태를 제거하여 버그를 피할 수 있기 때문에 유용 할뿐만 아니라 스레드 수에 대해 …

103 haskell  f#  functional-programming 

현재 행동 Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for ‘it’: it = show _ …

103 haskell  types  ghc 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b 기본적으로 동일한 작업을 수행하는 세 가지 다른 기능이있는 이유는 무엇입니까?

102 list  haskell  monads  redundancy  functor 

방금 새 Haskell 프로젝트를 시작했고 처음부터 좋은 테스트 워크 플로를 설정하고 싶었습니다. Haskell은 훌륭하고 독특한 테스트 도구가 많고이를 통합하는 다양한 방법이있는 것 같습니다. 나는 조사했다 : HUnit 빠른 확인 벤치 프레스 HPC 복잡성 모두 자신의 영역에서 잘 작동하는 것처럼 보이지만 테스트에 대한 포괄적 인 접근 방식을 찾고 있으며 다른 사람들에게 …

101 testing  haskell