「型システム入門」の先へ:TypeScriptの型システムのいくつかの側面 | 雑記帳