ghc

3열

1답변

템플릿 하스켈에서 Q 모나드는 모든 마술이 일어나는 곳입니다. 그러나 Q에는 매우 제한된 API가 있습니다. 나는 valueNameStore :: Q (String -> Maybe Name) 타입의 값을 갖고 싶다. 기본으로는 lookupValueName :: String -> Q (Maybe Name)이지만 아직 사용 가능한 변수의 저장소는 바인딩되어있다

1열

1답변

Haskell 다운로드가 Mac에서 작동하지 않습니다.

Macbook에 Haskell을 설치하려고하지만 아무 것도 작동하지 않습니다. 나는 Haskell.org에서 전체 64 비트를 다운로드하고, 그것을 열고 설치 과정을 거쳐 완성되었다고 말하고, 더 많은 정보가 담긴 html 페이지를 연다. 파일은 내 라이브러리 폴더 아래에 설치되어 있어야하지만 거기에 없습니다. 아무것도 설치되지 않은 것 같습니다. 나는 핵

6열

1답변

컴파일시 확인 된 URI

컴파일 시간 오류 또는 URI과 같은 표현식을 만들고 싶습니다. [uri|http://stackoverflow.com|] 컴파일해야 하지만 [uri|foo:/bar:\|] 안된다. 저는 분명히 이런 종류의 문제인 QuasiQuotes를 보았습니다. 그러나, 나는 URI에서 Q Exp을 만들 수없는 것 같습니다. 이 URI에 대한 Lift 인스턴스를

2열

1답변

GHC의 STG 출력에서 -O2를 사용하면 Str = DmdType 다음에 오는이 시퀀스는 무엇에 관한 것입니까?

(오해의 여지가있는 제목 : 아래에만 수많은 유사 관련 질문이 있습니다. : 전체 참조 설명서를 요구하는 것과 같지만이 주제에 대해 염두에 두어야합니다. 은 전체가 아닌 참조 설명서가 없습니다. GHC의 STG 파이프 라인 단계에 대한 소스 코드 및 다른 사람들/내부자의 공동 축적 된 경험). "재미있는/학습을 위해 처음부터"기존 프로젝트를 무시하고 "/기

11열

1답변

ApplicativeDo 'Parsing` 응용 프로그램에서 여전히 Monad 인스턴스를 찾는 언어 확장자

parserspackage을 사용하여 파서를 작성하려고하는데, 구문은 do입니다. 다음은 그 예입니다 : {-# LANGUAGE ApplicativeDo #-} import Text.Parser.Char (string, spaces) import Text.Parser.Token (TokenParsing, natural) issueParser :: T

3열

1답변

다시 쓰기 규칙에 컨텍스트 추가

다음 코드에서 가능한 경우 g . f을 h으로 다시 작성하려고합니다. 경우가있을 수 있습니다 h 클래스의 인스턴스를 가지고 있지만 가능하면 재 작성을하고 싶습니다. 이것이 가능하다는 오류 메시지가 나타나지만 정확히 무엇을 변경해야하는지 확신 할 수 없습니다. • Could not deduce (H a) arising from a use of ‘h’

0열

2답변

함수 결과 유형에 기반한 최적화

다음은 어리석은 예입니다. 그러나이 문제를 해결하면 다른 문제를 해결할 수 있습니다. 자세한 내용은 in this question입니다. 나는이 서명으로 함수를 작성하려면 : myread :: (Read a) => String -> a 같은 경우 a ~ Int를 제외하고, myread = read, 그 경우 myread _ = 0인치 분명히이 기능은 어

3열

1답변

GHC 코어의`show` 인스턴스

GHC 코어 데이터 타입을 사용하려고합니다. Haskell 소스를 Bind CoreBndr 타입의 코어 표현으로 컴파일 할 수 있습니다. 알다시피이 데이터 형식에 대한 기본값 인 Show 인스턴스가 없습니다. 이 표현을 예쁜 방식으로 인쇄하는 방법이 있지만 너무 많은 소음이 관련되어 있습니다. GHC 코어를 다른 대수 데이터 유형으로 취급하고 함께 함수를

9열

1답변

하스켈에서 함수/모나드/쓰레드 당 메모리 사용을 제한 할 수 있습니까?

저는 서비스로 일하기위한 연구 컴파일러 프로젝트를 진행하고 있습니다. 요구 사항 중 하나는 전화를 처리하는 동안 특정 사용자가 제한된 메모리 사용량을 가질 수 있습니다 (예 : "IP .b.c.d의 힙 메모리를 최대 30MB까지 사용할 수 있음"). C로 작성된 프로토 타입 구현은 직접 malloc 인 메모리 풀을 사용합니다 (실제로 유효한 형식으로 인해

3열

1답변

내보내기 중복 레코드 필드 <code>-XDuplicateRecordFields</code>와

는 다음이 허용됩니다 : {-# LANGUAGE DuplicateRecordFields #-} module Baz(Foo(..), Bar(..)) where import Foo (Foo(..)) import Bar (Bar(..)) : Foo이 모듈 Bar에 정의 된 모듈 Foo 및 Bar에 정의 될 때 {-# LANGUAGE DuplicateR