language-extension

80열

1답변

GHCi에서 XRankNTypes을 사용하도록 설정하려고합니다. 어떻게해야합니까?

5열

1답변

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

2열

2답변

파이썬 위에 도메인 특정 언어를 구문 분석하는 방법은 무엇입니까? IPython과 어떤 아키텍처가 필요합니까?

파이썬의 수퍼 세트로 도메인 특정 언어를 만들고 싶습니다. 입력을 최소화 할 수 있도록 설계 f7:10y=x^2 같은 크립 틱 명령이 실행되기 전에 일반 파이썬 for k in range(7,10): f[k].set_y(expr='x^2') 로 해석해야한다. 아마도 커맨드 라인 인터페이스는 IPython이어야한다. 적절한 아키텍처는 무엇입니

7열

1답변

MTL 라이브러리에는 어떤 언어 확장이 필요합니까?

저는 기존의 설계를 기반으로 자신의 작은 라이브러리를 구현하여 모나드 변압기를 이해하려고합니다. 나는 언어 확장을 고수하고 있습니다. MonadError에 언급 된 유일한 확장자는 UndecidableInstances입니다. 그러나 FunctionalDependencies 및 FlexibleInstances을 사용하지 않고 비슷한 코드를 컴파일 할 수는 없

4열

1답변

매크로를 통해 헬퍼 함수를 정의하는 라켓을 사용하는 언어 확장

지금 몇 시간 동안 문제가 남아 있습니다. 라켓의 언어 확장 기능을 사용하여 DSL을 정의하려고합니다. 다음 의사 코드와 같은 것을하고 싶습니다. 궁극적으로 저는 DSL에서 입력을받는 함수와 매크로를 생성하고 싶습니다. 그리고 대부분은 작동하는 것처럼 보입니다. 문제는 선언과 동일한 수준에서 작동해야하는 정의를 제공하는 것입니다. 이것은 가능한가? 그것은

19열

1답변

GeneralizedNewtypeDeriving이 안전한 하스켈이 아닌 이유는 무엇입니까? GHC의 설명서, 제 <a href="http://www.haskell.org/ghc/docs/7.6.2/html/users_guide/safe-haskell.html#safe-language" rel="noreferrer">Safe Language</a>에서

: 모듈 경계 제어 - 하스켈 코드 안전한 언어를 사용하여 컴파일은 다른 모듈 수출 목록을 통해 공개적으로 사용할 수있는 전용 액세스 기호에 보장됩니다. 중요한 것은 안전한 컴파일 된 코드가 가져올 수없는 데이터 생성자를 사용하여 데이터 값을 검사하거나 만들 수 없다는 것입니다. 모듈 M이 수출 목록을 조심스럽게 사용하여 일부 불변 변수를 만들면 M을 가져

29열

1답변

UndecidableInstances pragma를 사용하면 컴파일 종료시 전역 적으로 결과가 발생할 수 있습니까?

하스켈 라이브러리 디자이너가 어떤 이유로 UndecidableInstances을 사용하기로 결정했다고 가정합니다. 라이브러리가 잘 컴파일됩니다. 이제 어떤 프로그램이 라이브러리를 사용한다고 가정하고 (예 : 클래스의 일부 인스턴스를 정의) 확장 프로그램을 사용하지 않습니다. 컴파일이 실패 (종료되지 않음) 될 수 있습니까? 이러한 시나리오가 발생할 수있는

3열

1답변

Haskell TransformListComp extension

나는 haskell 언어 확장에 대해 this guide을 읽고 TransformListComp 설명으로 다소 혼란 스러웠다. 나는 설탕없이 모든 TransformListComp 표현식을 다시 써 보았지만 내가 맞는지 확실하지 않습니다. 또한 가이드에 실수가 있다고 생각합니다. "(groupBy (==))"("Eq a"는 할 수 없습니다. [foo | x1

32열

1답변

FlexibleContext와 FlexibleInstances를 사용하는 데있어서의 함정은 무엇입니까?

이러한 유연한 컨텍스트와 인스턴스는 Haskell 표준에서 사용할 수 없으므로 사용시 잠재적 인 문제가 있다고 가정합니다. 그들은 무엇인가? 어떤 모호성, 결정 불가능 성, 중첩 된 인스턴스 등으로 이어질 수 있습니까? FlexibleInstances에 대해서만 묻는 similar question이 있는데 FlexibleContexts이 아니라 대답은 "사

10열

1답변

오버로드 된 문자열 사용

OverloadedStrings 확장자는 매우 유용하지만 몇 가지 단점이 있습니다. OverloadedStrings 기능이 활성화 된 상태가 리터럴 값을 전달하려면 내가 명시 적으로 타입 서명을 추가해야이 경우 someFunction :: ToJSSTring a => a -> IO() someFunction = js_function . toJSSTring