드디어 타입이 없는 함수형 언어를 만들었습니다. 장난감 수준이지만요.

https://github.com/mecheng98/nabi

이제 하스켈의 타입 시스템을 부분적으로 도입하려고 하는데요,

예전에 Hindley 박사님의 Basic Simple Type Theory 읽고 단순 타입 람다 대수를 구현보긴 했고

typing haskell in haskell 논문도 읽어봤지만, 제 머리로는 어떻게 구현해야 될지 모르겠어요.

1도 모르겠는데, 좀 도와주세요 ㅠㅠ