型システムのしくみ TypeScriptで実装しながら学ぶ型とプログラミング言語