型推論
処理系が文脈から型を予測してデータ型 data type付けしてくれる機能
any 型
事前に一律の型を当てはめるのが難しいものに使う
never型
型で定義しているのに、実装漏れしているなどのCheck可能