動的型付けと型推論の違い

動的型付けと型推論の違いについて入門者向けにまとめました。

項目	概要
動的型付け	変数や関数の型を、コンパイル時などプログラムの実行前にあらかじめ決めず、実行時の実際の値によって決定する。要するに、コンパイル後にプログラムが実行されるときに値によって型が決まるのが動的型付けとなります。
型推論	変数や関数の型を、宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構。要するに、コンパイルするときに型を推測して決定されるのが型推論となります。