型 Advent Calendar 2019 - Qiita 18日目の記事です。 前回の記事はuhyoさんの TypeScriptはgradual typingシステムか - Qiita でした。 本文はこちら（PDFです） drive.google.com 誤りなどありましたらご指摘ください。