Hindley-Milner을 넘어서: 대수적 부분형 추론을 사용한 Cubiml 컴파일러 튜토리얼

이 블로그 게시물 시리즈에서는 "cubic biunification"이라는 새로운 형식 추론 시스템을 기반으로 한 Cubiml 컴파일러 튜토리얼을 소개합니다. 이는 대수적 부분형 추론의 개선된 버전입니다. Hindley-Milner 시스템의 부분형 지원 부족이라는 한계를 해결하여 더욱 강력하고 직관적인 형식 추론을 제공합니다. 튜토리얼에서는 자세한 코드 예시를 사용하여 Cubiml의 구현을 단계적으로 설명하며, 불리언, 조건문, 레코드, 함수, let 바인딩, 재귀적인 let 바인딩, 상호 재귀, 그리고 case 형식 매칭 등을 다룹니다. 최종 목표는 수동으로 형식 주석을 추가할 필요 없이 형식 검사를 수행하는 컴파일러를 만드는 것입니다.