for public) TypeScriptの型システムは万能機械の夢を見るか？
うわあああ！！！！
docs.google.com