근데 요즘 타입언어도 대부분 dynamic 쓰지않냐