ohai日誌

_ 型の話続き

型の話の続きです。「強い型付け、弱い型付け」という 言葉は人によって様々な定義で使われているようです。

ちょっと検索してみたり記憶を辿ってみたりするとだいたい以下のような 定義でこの言葉が使われれいるようです。

• 前の日記での静的型付け、動的型付けの意味
• 前の日記での型安全、型安全でないの意味
• 静的型付けかつ型安全 = 強い型付け
• 型の別名を作るとそれが別の型とみなされる = 強い型付け
• 前の日記で書いたやつ
• etc

というわけでこの言葉を使うときは注意しましょう。