• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Haskell入門_1-1-2 へ行く。
  • 1 (2022-01-20 (木) 16:55:08)
  • 2 (2022-01-23 (日) 18:01:27)

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

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

1.1.2 静的型付け †

型 †

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

型安全性 †

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

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