うーん、というか、コードを書くときに、 Xcodeによる補完入力を前提にしていて、その補完入力がちゃんと効いてるときは型推論が効いてる時なので、

9:25 AM

型チェックは常にされながらコードを書いてる感覚です

9:26 AM

でも時々Xcodeの調子が悪くなったりするので、コミットする前とかのタイミングで仕上げに明示的にビルドする感じですね