静的型と動的型っていいとこ取りはできないの？
オブジェクト指向と関数型ならできるのに。