NI-Lab.

nilog:

← 前の日 2020-05-20 次の日 →
← 一年前 一年後 →
Hatena::Bookmark (2020-05-20)
「(型システムは)プログラムが計算する値の種類に従って句(phrase)を分類することで、そのプログラムがある動作をしないことを証明する扱いやすい文法的手法である。 (Pierce 2002)」

型理論 - Wikipedia
[B!] 2020-05-20 16:02:45
関連するかも情報
type system 「プログラミング言語において、その式などの部分が持つ値を、その種類(型(type)、データ型も参照)に沿って分類し、プログラムが正しく振る舞うこと、といった性質について保証する手法」

型システム - Wikipedia
[B!] 2020-05-20 16:01:17
「(型システムは)プログラムが計算する値の種類に従って句(phrase)を分類することで、そのプログラムがある動作をしないことを証明する扱いやすい文法的手法である。 (Pierce 2002)」

型理論 - Wikipedia
[B!] 2020-05-20 16:02:45
“シェアしたときに、任意のタイトルや説明文、サムネイル画像を表示できるようになりました”

ニュース: LIFFアプリでOGPタグを利用できるようになりました | LINE Developers
[B!] 2020-05-20 18:26:34
2020年05年20日のnilogをすべて表示する

- NI-Lab.
- Mastodon (@nilab@mastodon-japan.net)
- Twitter (@nilab)
- Timelog (@nilab)
- はてなブックマーク (id:nilab)

Web Services by Yahoo! JAPAN