# 타입으로 견고하게 다형성으로 유연하게

::: INFO
홍재민, "타입으로 견고하게 다형성으로 유연하게", 인사이트, 2023
:::

다양한 예시와 카레 기계를 만드는 기묘한 이야기로 타입 시스템을 쉽게 설명한다. 정적 타입 언어에 익숙치 않은 프로그래머나 전통적인 객체지향 언어만을 다뤄본 프로그래머에게 특히 많은 도움이 될 것 같다.

## 관련문서

- [[introduction-to-programming-languages]]
- [[functional-programming]]