I think the difference in the workflow is very much as described. Often you will have test suites that run in tens of minutes at least due to heavy coupling and

I think the difference in the workflow is very much as described. Often you will have test suites that run in tens of minutes at least due to heavy coupling and many integration tests. While the automatically incremental type checkers run in less than a second and you can run it on ever save.