非同期ではないです。ASTを一通りなめて全部をタイプチェックするのではなく、必要になったときに必要な分だけタイプチェックする等、lazyに評価をしていきましょうという取り組みです。ついでにリクエストに対する結果はキャッシュされるので、無駄が起こらないはずというのと、

1:14 AM

あと、循環ケースが自動で検出される仕組みになっているので、デバッグが楽になる。