Slide 7
Slide 7 text
基本的な型の種類
プログラミング言語では様々な型が存在しているが、
型はその特性から類別することができる
https://en.wikipedia.org/wiki/Type_system より引用
型名 TypeScriptの相当する型
プリミティブ型、原子型, 基本
型…
number , string ,
boolean
2つ組(pair)、組(tuple)
[1, 2] , [1, "str",
true]
レコード(record) { fst: 1, snd: "str" }
単位型(unit)、リテラル型 null , 42 , "str" , true
交差型(intersection) A & B
合併型(union) A | B