#author("2022-01-23T16:36:10+00:00","default:sagasite","sagasite")
[[Program]] ＞ [[Haskell]] ＞ [[Haskell入門]] ＞ 第1章 はじめてのHaskell
RIGHT:2022-01-20 (木) 公開
//RIGHT:2022-01-20 (木) 更新
#html{{
<div class="alert alert-info">学習メモ</div>
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4774192376/vertex9-22/" target="_blank"><img src="https://m.media-amazon.com/images/I/41xoNsYARcL._SL160_.jpg" border="0"></a></td><td> </td><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4774192376/vertex9-22/" target="_blank">Haskell入門 関数型プログラミング言語の基礎と実践</a><br>本間 雅洋<br>技術評論社<br>2017-09-27<br>￥3608</td></tr></table>
}}
#contents
//----------------------------------------
* 1.1.2 静的型付け [#ff82187c]
** 型 [#kaed143c]
文字列や整数など、プログラムが扱うデータの種類のこと。
** 型安全性 [#r62c0cd4]
（参考）型システム - Wikipedia
https://w.wiki/4j4g
>型にまつわる安全性のことを型安全性（英: type safety）と呼ぶが、一般的に型安全性とは、データ（オブジェクト）の本来の型に従ってプログラムを正しく実行できる性質のことを指す。
** 静的型付けと動的型付けの違い [#qaf324b0]
| 静的型付け | static typing | 値の型安全性を、コンパイル時に検証する |
| 動的型付け | dynamic typing | 値の型安全性を、実行時に検証する |
~
静的型付けはコンパイル時に全ての値の型が決まっており、型に関するバグをプログラム実行前に発見できるというメリットがあります。
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
