The Hindley/Milner let-polymorphic type system has two different type-inference algorithms: one is de facto standard algorithm W that is context-insensitive, and the other is context-sensitive algorithm M. We present the bottleneck of the M algorithm and propose a hybrid algorithm, named H, for its remedy. The H algorithm is made out of M adopting W on the application part. We show that H stops still earlier than W but later than M when the input program has type errors.
Hindley/Miner let-polymorphic 타입체계에는 두가지 타입유추 알고리즘이 있다. 하나는 타입체계와 함께 처음으로 만들어진 W 알고리즘이다. W는 문맥에 관계없는 알고리즘이다. 다른 하나는 W의 타입 오류 보고를 개선하기위해 디자인된 M이 있다. M은 문맥에 관계있는 알고리즘이다.
이 논문에서는 M의 병목을 제시하고, 이 병목을 해소하는 타입유추 알고리즘 H를 제안한다. H는 M에 W의 특성을 혼합해서 만든 잡종 알고리즘으로 여전히 M과 같이, 타입체계를 충실히 구현하였으며, W보다는 일찍 오류를 보고하는 특성을 지녔다. 이 논문에서는 H의 이런한 성질들을 증명하였다.