function foo(str) { console.assert(typeof str === 'string'); console.assert(str.length > 0); // 何かの処理 str.charAt(0); } assertを使って事前条件を書いて開発し、unassertを使ってプロダクションにリリースするときに削除スタイルは最近良く見かけるようになりましたね。 動的型付けなJavaScriptで安全なコードを書けるようになるassert最高!!と言いたいところですが、実行時にしかチェックができないんですよね。 そこで、せっかくflowtypeで静的な型付けを行っているので、ここは事前にチェックできるように型で解決を行いたいと思います。 1. 型アノテーションを付与する まずは先のコードに型アノテーションを付与して一つ目のassertを削除します。 functio
![flowtypeで既存の型に述語を付与してassertを削除しよう - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/108291c8137d677b796040ecf043516c98f0ea2c/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9Zmxvd3R5cGUlRTMlODElQTclRTYlOTclQTIlRTUlQUQlOTglRTMlODElQUUlRTUlOUUlOEIlRTMlODElQUIlRTglQkYlQjAlRTglQUElOUUlRTMlODIlOTIlRTQlQkIlOTglRTQlQjglOEUlRTMlODElOTclRTMlODElQTZhc3NlcnQlRTMlODIlOTIlRTUlODklOEElRTklOTklQTQlRTMlODElOTclRTMlODIlODglRTMlODElODYmdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPTliYjg0ZTAyZTY0M2UwZGIwYWJhOTI4NTcyZDFmZmQ5%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBraW56YWwmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTcyNTFiNzFmYzZlOGMyYWFlOTRmMWUwOWY3NmI4YWUx%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D97505f1a31ca2579bdbfef8d4747802f)