ghc

13열

3답변

이제는 입력 형 패밀리가 있으므로 유형 패밀리보다 데이터 패밀리를 사용하는 경우가 남아 있습니까? 데이터 패밀리에 대한 지난 StackOverflow 질문을 살펴보면, 몇 년 전만해도 유형 패밀리와 데이터 패밀리의 차이점을 논의한 this question과 데이터 패밀리의 사용 사례에 대해 this answer이 있습니다. 두 가지 모두 데이터 제품군의 주

5열

1답변

더 높은 유형의 변수로 유도하기

매개 변수 중 하나가 더 높은 종류의 유형 (* -> *) 인 다형성 유형이 있다고 가정 해 보겠습니다. 난해하고 안전하지 않은 언어 확장을 사용하지 않고 그러한 유형의 인스턴스를 파생시키는 일반적인 방법이 있습니까? deriving instance Show (m Int) => Show (Tricky m) 그러나 GHC 다음 인스턴스 머리보다 작은되는없

1열

1답변

"스택 빌드"가 임의로 실패했습니다

stack build을 사용하여 패키지를 빌드하면 종속 패키지를 설치하는 과정에서 임의로 실패합니다. 이것은 다시 시작 stack build에 의해 해결 될 수 있기 때문에 내가 말한 While building package statistics-0.13.3.0 using: /home/work/.stack/setup-exe-cache/x86_64-linux/

0열

1답변

오류 : 그것은 신비 들여 쓰기 규칙입니다하지만 불행히도 코드 블록 컴파일을 거부

는 GHC 컴파일러를 이해하기 위해 고투 '어디에'입력에 오류를 분석하고 이 질문을하기 전에 물어하지만 그냥 할 수있다 미안 내가 아는 이 코드는 관계없이 들여 쓰기 fib :: Int -> [Int] fib 1 = [1] fib 2 = [1,1] fib n = if n > 1 then reverse list

3열

1답변

GHC : 64 비트 GHC를 사용하여 32 비트 DLL을 작성하는 방법은 무엇입니까? (C++에서 함수를 호출하려면)

64 비트 GHC로 32 비트 DLL을 작성하고 싶습니다. 그리고 여기에 최소한의 예가 있습니다. Test.hs {-# LANGUAGE ForeignFunctionInterface #-} module Test where import Foreign.C.Types foreign export ccall c_hello :: IO() foreign exp

1열

4답변

GHC가 누락 된 유형 제약 조건을 무시하도록합니다.

생성자 하위 유형을 사용하여 다른 유형 t의 값을 포함하는 유형 Sup을 만들었습니다. Sup에서 생략 된 부분이 t을 사용하여 어느 것도 생성자, 많이 포함되어 있기 때문에 이Eq (Sup t)을 도출하기보다는 수동 인스턴스를 얻었다 data Sup t = ... | Sub t deriving Eq , 나는 원한다. A 형 제

3열

1답변

Haskell에서 C++을 호출 할 때 'stack ghci`를 실행하는 데 문제가 발생했습니다.

무엇을하려고합니까? 하스켈에서 FFI를 통해 C++ (extern "C" { ... } 인터페이스 사용)을 호출하려고합니다. 특히 C++ 파일 three.cpp이 있습니다. 그 안에는 Haskell에서 액세스하려고하는 하나의 외부 C++ 함수가 있습니다 (백그라운드에서 다른 개인 C++ 코드 사용). 문제점 :stack build 및 stack test을

3열

2답변

Where 절의 유형 지정

나는 숙제의 일부로 아주 단순하게하려고합니다. 내가 할 필요가있는 것은 삼각형에 대한 기본 및 높이 길이를 나타내는 숫자의 2 튜플 목록을 취하는 함수를 작성하고 해당 삼각형에 해당하는 영역의 목록을 반환하는 것입니다. 요구 사항 중 하나는 함수를 정의하고 해당 형식을 where 절로 선언하여이 작업을 수행한다는 것입니다. 지금까지 해봤 다 여기에, 컴파일

5열

1답변

하스켈에서 TypeApplications를 어떻게 사용합니까?

GHC 8.0에서 -XTypeApplications을 사용하면 함수 인수보다 앞에 @ 형식을 명시 적으로 지정할 수 있습니다. 정확히 어떤 유형이 지정됩니까? 특히 @이 여러 개 도입 된 경우? 당신이 함수 elem :: (Foldable t, Eq a) => a -> t a -> Bool 의 유형을 보면

1열

1답변

하스켈 - 첨부 바인딩 확인 사용 안 함 haskell

하스켈에서 바인딩을 확인하는 기능을 비활성화하지 않을 것입니다. 내가 이것을하고 싶은 이유는 모순에 의한 증명을 구현할 수 있기 위해서입니다. 다음 형식 시그니처에는 바인딩이 없으므로 서명 할 필요가 없습니다. zeroDoesNotEqualOne :: Refl Z (S Z) -> Bottom 주민 번호 Refl Z (S Z)에는 주민이 없으므로 바인딩이