타입에 관심이 있긴 한데 그런 거 실컷 공부할 수 있나요? 프로그래밍 이론(?)적으로 어떤 걸 중점적으로 다루는 언어인지 궁금