ghc

6열

1답변

Language.Haskell.Extensions 문서에 언급 된 BinaryLiterals 확장이 있습니다. 아이디어는 0b11 == 3라고 할 수 있습니다. > :set -XBinaryLiterals Some flags have not been recognized: -XBinaryLiterals

6열

2답변

유형의 추론

GHC가 유추해야한다고 생각하는 유형 서명을 원했습니다. 나는 거의 확실하게 의미있는 것은 (내가 좋아하는 종류에 그것을 실행하지 않는 것이 좋습니다)하지 않습니다 어떤이, 내 예를 최소화 : y의 정의에 유형 서명없이 {-# LANGUAGE GADTs, RankNTypes, ScopedTypeVariables, TypeOperators, No

7열

1답변

엄격함이 실제로 GHC에 의해 추론되는지 어떻게 알 수 있습니까?

저는 초보자 인 haskell이고 최근에 the haskell wiki에 대한 엄격 성 분석에 대해 읽었습니다. GHC user's guide 읽 엄격함 분석기는 함수의 인자와 변수 (즉, 그들은 항상 어떤 점에서 기능에 평가입니다) '엄격하게'처리 할 수있는 경우 파악. 또한 엄격함을 추론 할 수있는 경우에 대해서도 읽었습니다. 그러나 초보자 인 경우 g

4열

2답변

공유 값이 범위를 벗어날 때 관리되지 않는 리소스를 처리/해제/"마무리"하는 방법

키를 외부 리소스에 캡슐화하는 형식이 있습니다. 키가 손실되면 (공유하는 모든 값이 범위를 벗어남) 리소스는 일반 값에 대한 메모리와 마찬가지로 다음 가비지 수집에서 해제 (암시 적으로)되어야합니다. OOP 처리 또는 ForeignPtr과 비슷한 것을 찾고 있는데, 외국 언어의 개체가 아닌 다른 개체에 대한 참조를 나타냅니다. (ForeignPtr도 적절하

3열

1답변

Cabal에 포함 할 텍스트 파일 포함

템플릿 하스켈 및 파일 임베드를 사용하여 몇 개의 매우 큰 문자열을 포함하는 라이브러리를 만들었습니다. Cabal dist를 실행할 때 이러한 파일이 포함되도록하려면 어떻게해야합니까? 모두가 core라는 폴더에 있지만 일부는 core의 하위 디렉토리에 있습니다.

0열

1답변

GHC 오류 : 인터페이스 파일 오류 후 계속할 수 없습니다.

Cabal과 함께 설치 및 설치된 하스켈 패키지가 있습니다. 패키지 디렉토리에서 cabal repl을 실행하면 모듈이 제대로 작동하고 모든 모듈이 제대로 작동하지 않습니다. 다른 디렉토리에서 패키지를 사용하려고하면 import가 불평하지 않지만 파일에서 함수를 사용하려고하면이 오류가 발생합니다. GHCi에서 λ> import Data.Frame λ> im

8열

1답변

GHC 부분 평가 및 별도 컴파일

MLton과 같은 전체 프로그램 컴파일러는 부분적으로 평가를 수행하는 데 바이너리의 전체 소스를 사용하는 능력에 최적화 된 바이너리를 생성합니다. 적극적으로 상수를 인라인하고 컴파일하는 동안 멈추지 않을 때까지 평가합니다! 이것은 하스켈 공간에서 공개적으로 조사되었으며 Gabriel Gonzalez's Morte입니다. 내 이해는 하스켈이이 모든 것을 전혀

2열

1답변

제약 조건이있는 순환 타이핑

아래 예제에서 foo은 "예상되는"다형성 출력 유형을 반환하려고합니다. 그 아이디어는 foo이 다형성 값과 실재 타입을 반환하고, bar이 숨김 타입이 될 튜플의 타입을 지정한다는 것입니다. (bar의 유형도 존재하는 경우 물론 이것은 단지 내 경우에는 사실 인 작동합니다.) 다음의 예는 컴파일 : foo :: (Typeable i) => (i,Hidden

0열

1답변

하나의 원자 블록에서 다른 원자 블록으로 값을 전달하는 방법

다음 코드 (Pl. myTransaction 참조)에서 특정 지연 후에 값을 읽는 방식으로 TVar n1에서 원자 적으로 읽고 다른 TVar n2를 업데이트하려고합니다. 문제는 하나의 원자 블록을 다른 원자 블록으로 전달할 수 없다는 것입니다. 도와주세요 The last statement in a 'do' loop must be an expression

26열

4답변

하스켈에서 AST의 보편적 인 주석이 있습니까?

나는 Haskell에 작성된 Elm 컴파일러를 둘러 보았다. 나는 그것을위한 몇 가지 최적화를 구현하기 시작하고 싶습니다,이 부분 등의 AST를 순회하며 꼬리 전화와 같은 특정 노드에 "주석"을 추가 포함 내가 사용할 수 있습니다 알고 SYB 또는 uniplate를 사용하여 순회를 수행하지만, 유형을 처리 할 수있는 상용구없는 방법이 있는지 궁금합니다. d