hindley-milner

2열

1답변

프로세스 간 통신의 정적 입력 액터 모델에 대해 실행 불가능한 것이 있습니까?

그래서 저는 최근에 장난감 용량 밖에서 akka를 만났습니다. 정적 유형에 대한 scala의 일반적인 선호에도 불구하고 OTP가 동적 타이핑을 공유한다는 것을 알 수 없습니다. 나는 조금 뜯어 먹기 시작했고, erlang 프로세스 간 통신을 통해 HM 타입 시스템을 설명하는 this Wadler paper을 보았습니다. 즉, an answer to this

2열

2답변

Rust는 Hindley-Milner의 변경 가능성을 어떻게 해결합니까?

나는 Rust가 Hindley-Milner를 사용하여 매우 좋은 유추 추론을했다고 읽었습니다. Rust는 또한 변이 변수를 가지며 AFAIK는 HM 알고리즘이 지나치게 일반화 될 수 있기 때문에 가변성으로 작동 할 때 몇 가지 제약이 있어야합니다. 다음 코드 : let mut a; a = 3; a = 2.5; 때문에 두 번째 행의 정수로, 컴파일되지

3열

1답변

ocaml 유형은 오버플로 유형의 특수 재귀 사용으로 인해

재귀 적으로 사용되지만 재사용 가능한 유형 매개 변수가있는 매개 변수화 된 유형이 있으며 일반 연산자를 구현할 때 해당 연산자 유형이 너무 엄격하게 바인딩되어 있기 때문에 특수 서브 트리를 처리하는 케이스. 첫 번째 코드 샘플은 문제를 보여 주며 두 번째 코드는 실제 코드에 더 많은 경우가 있기 때문에 사용하지 않는 방법을 보여줍니다. 따라서이 방법으로 코

2열

1답변

하스켈에서 타입 시스템과 싸우지 않고 모나드를 추상화하는 방법은 무엇입니까?

저는 현재 haskell에 서버를 만들고 언어에 대한 초보자로서 새로운 접근법을 시도하고 싶습니다. 아이디어는 기본 모나드에 대해 알지 못하는 채로 작동하는 isGetRequest :: (SupportsRequests m r) => m Bool isGetRequest = do method <- liftRequests $ requestMe

9열

1답변

유형별로 함수의 영향을 확인하십시오.

하스켈 유형 시스템 (*)의 흥미로운 속성 중 하나는 정확히에 해당 함수가 해당 유형 서명에만 기반한 것을 말할 수 있다는 것입니다 (unsafe IO 어두운 마법이 없다고 가정). invloved). 예를 들어, 타입 시그니처 a -> a 어떤 함수는 항등 함수이어야하며, 어떠한 타입의 (a,b) -> afst 함수는 동일하다. 어떤 경우에는 함수를 완전

9열

1답변

Hindley-Milner 유형 시스템이있는 runST

하스켈의 ST 모나드를 올바르게 이해하면 runST은 모나를 벗어날 때 연산이 다른 스레드를 참조하지 않도록하기 위해 순위 2 유형을 영리하게 사용합니다. 나는 Hindley-Milner 타입 시스템을 사용하는 장난감 언어를 가지고 있는데, 나의 질문은 다음과 같다 : ST 모나드가 안전하게 동작 할 수 있도록 runST 어플 리케이션 타이핑 ad-hoc

10열

1답변

하스켈식이 포함 된 문자열의 유추 유형

문자열로 주어진 하스켈 식의 형식에 대한 표현을 얻기 위해서는 (빠르고 더러운) 방법이 필요합니다. 그러나, 문서 꽤 빨리 저를 잃는다 - 사용 GHC의 API : 나는 현재 3 옵션을 참조하십시오. 다른 유형의 유추 도구를 사용하십시오 - haskell-type-exts를 사용해 보도록 제안되었지만 가장 간단한 표현을 제외한 모든 유 형을 입력하는 데 실

19열

2답변

Hindley-Milner 유형 추론의 폴리 유형 이해하기

Hindley–Milner Type Inference 위키 피 디아의 기사를 읽고 있습니다. 지금까지 내가 이해 한 바가 있습니다 : 유형은 모노 타입 또는 폴리 타입으로 분류됩니다. 모노 유형은 int 또는 string과 같은 유형 상수 또는 α 및 β과 같은 유형 변수로 분류됩니다. 유형 상수는 콘크리트 유형 (예 : int 및 string)이거나 유형

6열

1답변

Scheme 컴파일러의 전역 유형 유추 Stalin

Scheme 컴파일러 Stalin을 살펴 보았습니다. 그것은 크고 복잡합니다. 또한 필자가 올바르게 이해했다면 작성자는 구현 측면을 자세히 설명하는 일련의 논문을 작성하려고했지만 결코 그렇게하지 않을 것입니다. 스탈린의 측면은 전역 유형 추론입니다 : 프로그램의 다른 위치에서 사용법에 따라 유형을 추론합니다. 스탈린이 실제로 그렇게합니까? 그렇다면 어떻게,

9열

1답변

Hindley Milner에서 표현할 수없는 system-f의 유형 및/또는 용어는 무엇입니까

Hindley Milner는 system-f에 대한 제한 사항을 읽었습니다. 그렇다면 누군가가 시스템 -f에서는 입력 할 수 있지만 HM에서는 입력 할 수없는 일부 용어를 제공 할 수 있습니까?