Program ＞ Haskell ＞ Haskell入門 ＞ 第1章 はじめてのHaskell

Haskell入門 関数型プログラミング言語の基礎と実践 本間 雅洋 技術評論社 2017-09-27 ￥3608

1.1.2 静的型付け †

型 †

文字列や整数など、プログラムが扱うデータの種類のこと。

型安全性 †

（参考）型システム - Wikipedia
https://w.wiki/4j4g

型にまつわる安全性のことを型安全性（英: type safety）と呼ぶが、一般的に型安全性とは、データ（オブジェクト）の本来の型に従ってプログラムを正しく実行できる性質のことを指す。

静的型付けと動的型付けの違い †

静的型付けはコンパイル時に全ての値の型が決まっており、型に関するバグをプログラム実行前に発見できるというメリットがあります。