정적타입시스템은 이미 오래전에 완성되었다.

힌들러-밀너 타입 시스템에서는 타입을 대부분 생략해도 타입 추론이 된다

심지어 리턴타입까지 생략함



근데 동적타입언어들은 타입을 하나둘 넣기시작하더니 명시적타입을 하지않으면 안될정도로 장황해졌다

얘네들은 타입이 없는 구멍이 있어서 제대로할수가없는데...


끔찍하다

이럴바에 자바를 쓰겠다