«haskell» 태그된 질문

나는 Real World Haskell을 읽었 으며 끝이 가까워졌지만 스타일 문제는 (.)and ($)연산자 와 관련하여 저를 괴롭 혔습니다 . 다른 함수의 구성 인 함수를 작성할 때 다음과 같이 작성하십시오. f = g . h 그러나 그 함수의 끝에 무언가를 적용하면 다음과 같이 작성합니다. k = a $ b $ c $ …

129 haskell  coding-style  function-composition 

이전에는 실험적인 기능이었던 의존적 메소드 유형이 이제 기본적으로 트렁크에서 활성화되었으며 , 이는 약간의 흥분을 불러 일으켰습니다. 스칼라 지역 사회를. 처음에는 이것이 무엇이 유용한 지 즉시 알 수 없습니다. Heiko Seeberger는 여기 에 의존적 인 메소드 유형의 간단한 예를 게시 했습니다. 코멘트에서 볼 수 있듯이 메소드의 유형 매개 변수를 사용하여 쉽게 …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

다음과 같은 하스켈 코드를 보았습니다. ps@(p:pt) @이 문맥에서 상징은 무엇을 의미합니까? Google에서 정보를 찾을 수없는 것 같습니다 (불행히도 Google에서 기호를 찾기가 어렵습니다). Prelude 설명서에서 기능을 찾을 수 없으므로 대신 일종의 구문 설탕이어야한다고 생각합니다.

127 haskell  syntax 

사소한 하스켈 프로그램조차도 거대한 실행 파일로 바뀝니다. 나는 작은 프로그램을 작성했는데, 그것은 (GHC로) 7MB를 확장하는 바이너리로 컴파일되었습니다! 작은 하스켈 프로그램도 거대한 바이너리로 컴파일되는 원인은 무엇입니까? 이것을 줄이기 위해 무엇을 할 수 있습니까?

127 haskell  linker  ghc  static-linking  glfw 

대수 데이터 유형을 사용하여 하스켈에서 트리 또는 목록을 표현하는 것은 쉽습니다. 하지만 그래프를 활자체로 표현하려면 어떻게해야할까요? 포인터가 필요한 것 같습니다. 나는 당신이 다음과 같은 것을 가질 수 있다고 생각합니다. type Nodetag = String type Neighbours = [Nodetag] data Node a = Node a Nodetag Neighbours 그리고 그것은 실행 가능할 것입니다. …

125 haskell  types  graph  functional-programming  algebraic-data-types 

.NET의 Interactive-Haskell repl에서 이상한 행동을하고 emacs있습니다. 파일을 소싱하면 emacs미니 버퍼에 일련의 대화 형 프롬프트가 표시됩니다. Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for default): Set current directory: cabal 디렉터리 또는 현재 디렉터리를 프로젝트 디렉터리의 기본값으로두면 repl이 응답하지 않습니다. 대화 형 Haskell 창에 람다 …

124 haskell  emacs  cabal  ghci 

Haskell (대부분 GHC 사용)에 일부 데이터 유형의 값을 저장하는 데 필요한 실제 메모리 양을 어떻게 찾을 수 있습니까? 런타임시 (예 : GHCi에서) 평가할 수 있습니까? 아니면 구성 요소에서 복합 데이터 유형의 메모리 요구 사항을 추정 할 수 있습니까? 일반적 유형의 메모리 요구하는 경우 a와 b공지 같은 대수 데이터 유형의 메모리 …

124 haskell  memory-management  ghc  algebraic-data-types 

이 질문 의 myAny 함수에 대한 코드 는 foldr를 사용합니다. 술어가 충족되면 무한 목록 처리를 중지합니다. foldl을 사용하여 다시 작성했습니다. myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item || acc (단계 함수에 대한 인수가 …

124 haskell  lazy-evaluation  combinators  fold 

learnyouahaskell.com 에서 Haskell을 배우고 있습니다. 유형 생성자와 데이터 생성자를 이해하는 데 문제가 있습니다. 예를 들어, 나는 이것의 차이점을 정말로 이해하지 못합니다. data Car = Car { company :: String , model :: String , year :: Int } deriving (Show) 이: data Car a b c = Car { company …

124 haskell 

리더 모나드는 너무 복잡하고 쓸모없는 것 같습니다. Java 또는 C ++와 같은 명령형 언어에서는 독자 모나드에 해당하는 개념이 없습니다. 간단한 예를 들어 보시고 조금 더 정리해 주시겠습니까?

122 haskell  monads  reader-monad 

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

121 haskell  functional-programming 

왜 게으른 평가가 유용한 지 오랫동안 궁금해했습니다. 나는 아직 말이되는 방식으로 나에게 설명하는 사람이 없습니다. 대부분은 "나를 믿어 라"로 끝이납니다. 참고 : 나는 메모를 의미하지 않습니다.

119 haskell  functional-programming  lazy-evaluation 

다음 레코드 ADT가 있다고 가정 해 보겠습니다. data Foo = Bar { a :: Integer, b :: String, c :: String } 필드 중 하나를 제외한 모든 필드가 인수로 전달 된 값과 동일한 값을 갖는 레코드 (같은 유형의)를 반환하는 함수를 원합니다. walkDuck x = Bar { a = a x, …

119 haskell  record 

Haskell 구현이 GC를 사용하는 이유가 궁금합니다. 순수한 언어로 GC가 필요한 경우는 생각할 수 없습니다. 복사를 줄이기위한 최적화일까요, 아니면 실제로 필요한가요? GC가 없으면 누출되는 예제 코드를 찾고 있습니다.

118 haskell  garbage-collection 

이 키워드가하는 일에 대한 실제 설명을 위해 인터넷을 샅샅이 뒤졌습니다. 내가 본 모든 Haskell 튜토리얼은 무작위로 사용하기 시작하고 그것이 무엇을하는지 설명하지 않습니다 (그리고 많은 것을 보았습니다). 다음 은를 사용하는 Real World Haskell 의 기본 코드입니다 Just. 코드가 무엇을하는지 이해하지만의 목적이나 기능이 무엇인지 이해하지 못합니다 Just. lend amount balance = let …

118 haskell  syntax