동적 타입도, 동적 타입 + 함수형도 왜 좋은지 전혀 감이 안 옴 정적 함수형은 좋은거 같은데