gradual typing uses a special type named dynamic to represent statically-unknown types
gradual typing replaces the notion of type equality with a new relation called consistency that relates the dynamic type to every other type
일부 정적 일부 동적
- unknown keyword
- dynamic keyword