«haskell» 태그된 질문

타입 클래스 X가 무엇인지 누군가에게 설명하면서 정확히 X 인 데이터 구조의 좋은 예를 찾기 위해 고심하고 있습니다. 따라서 다음에 대한 예를 요청합니다. Functor가 아닌 타입 생성자. Functor이지만 형식이 아닌 형식 생성자입니다. Applicative이지만 Monad가 아닌 형식 생성자입니다. Monad 인 타입 생성자. 나는 모나드에 대한 많은 예가 있다고 생각하지만, 이전 예와 관련이있는 …

209 haskell  monads  functor  applicative 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 2 년 전 . 이 질문을 개선하십시오 나는 당신 에게 Great Good을위한 Haskell을 배우고 있으며, Haskell 연산자를 발음하는 법을 결코 모른다. …

204 haskell  operators 

나는 다음 String을 사용하여 숫자를 숫자 로 변환 할 수 있다는 것을 알고 있습니다 read. Prelude> read "3" :: Int 3 Prelude> read "3" :: Double 3.0 그러나 가치 의 String표현을 어떻게 얻 Int습니까?

199 string  haskell  int  casting 

핵심은 GHC의 중간 언어입니다. Reading Core는 프로그램의 성과를 더 잘 이해하는 데 도움이됩니다. 누군가 Core 읽기에 대한 문서 나 자습서를 요청했지만 많이 찾을 수 없었습니다. GHC Core를 읽을 수있는 문서는 무엇입니까? 지금까지 찾은 내용은 다음과 같습니다. 엄격 성, 게으름 및 재귀를 활용하여 C만큼 빠르게 Haskell 작성 C만큼 빠른 Haskell : …

193 performance  compiler-construction  haskell  ghc 

이 글을 쓸 때의 차이점은 무엇입니까? data Book = Book Int Int 대 newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

GHC는 수행 할 수있는 많은 최적화 기능을 가지고 있지만, 모두가 무엇인지, 그들이 수행 될 가능성과 상황에 대해 알지 못합니다. 내 질문은 : 매번 또는 거의 적용 할 수있는 변형은 무엇입니까? 자주 실행되는 (평가 된) 코드 조각을보고 첫 번째 생각이 "흠, 아마도 최적화해야 할 것"이라면, 두 번째 생각은 "생각하지 않아도됩니다. GHC가 …

183 optimization  haskell  ghc 

레코드 필드에 액세스하고 조작하기위한 인기있는 라이브러리가 3 개 이상 있습니다. 내가 아는 것은 data-accessor, fclabels 및 lens입니다. 개인적으로 나는 데이터 접근 자로 시작하여 지금 사용하고 있습니다. 그러나 최근에 haskell-cafe에서 fclabels가 우수하다는 의견이있었습니다. 따라서 저는이 세 개의 라이브러리를 비교하는 데 관심이 있습니다.

173 data-structures  haskell  record  lenses 

하스켈의 불순한 계산이 모나드로 모델링 된 이유에 대해 몇 가지 조언을 해 줄 수 있습니까? 나는 모나드가 단지 4 개의 연산과의 인터페이스라는 것을 의미한다. 그래서 부작용을 모델링하는 이유는 무엇인가?

172 haskell  functional-programming  monads 

Haskell에서 Int와 Integer? 의 차이점은 무엇 입니까? 답은 어디에 기록되어 있습니까?

169 haskell  numbers  integer  int  bignum 

Haskell에서 문자열을 분리하는 표준 방법이 있습니까? lines및 words업무 공백이나 줄 바꿈에 분할에서 큰하지만 반드시 쉼표에 분할하는 표준 방법은 무엇입니까? Hoogle에서 찾을 수 없습니다. 구체적으로, split "," "my,comma,separated,list"returns 가있는 곳을 찾고 ["my","comma","separated","list"]있습니다.

163 string  haskell 

나는 여러 출처에서 "Haskell이 점차 의존형 언어가되고있다"라는 의견을 반향시켰다. 더 많은 언어 확장으로 Haskell은 일반적인 방향으로 표류하고 있지만 아직은 그렇지 않습니다. 기본적으로 알고 싶은 두 가지가 있습니다. 첫 번째는, "종종 의존형 언어"라는 것이 실제로 무엇을 의미 하는가? (기술적으로 너무 기술적 인 일이 없기를 바랍니다.) 두 번째 질문은 ... 단점은 무엇입니까? …

161 haskell  type-systems  dependent-type 

Haskell의 멀티 코어 프로그래밍 상태는 무엇입니까? 현재 어떤 프로젝트, 도구 및 라이브러리를 사용할 수 있습니까? 어떤 경험 보고서가 있었습니까?

161 haskell  concurrency  functional-programming  multicore  parallel-processing 

여러 줄에 걸쳐있는 간단한 함수를 ghci로 정의하려고합니다. 다음을 예로 들어 보겠습니다. let abs n | n >= 0 = n | otherwise = -n 지금까지 첫 번째 줄 다음에 Enter 키를 눌러 보았습니다. Prelude> let abs n | n >= 0 = n Prelude> | otherwise = -n <interactive>:1:0: parse …

161 haskell  ghci 

Rust의 특성 은 Haskell의 형식 클래스 와 적어도 피상적으로 비슷해 보이지만 사람들은 그들 사이에 약간의 차이가 있다고 봅니다. 이러한 차이점이 무엇인지 정확히 궁금했습니다.

157 haskell  rust  traits 

네, 이것들 : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f = g_prepro …

156 haskell  functional-programming  category-theory