In this blog post, Florian Verdonck discusses a new feature in F# that aims to improve the performance of type-checking during project compilation. Currently, type-checking is done sequentially, which can be time-consuming. The new feature, called Graph-Based Checking, allows for parallel type-checking of files, even without signature files. The post explains how the feature works by constructing a dependency graph between files and processing them in parallel. Verdonck also discusses the benefits of using signature files and provides instructions on how to use the new feature. The post acknowledges the contributions of Janusz Wrobel and the F# team at Microsoft.
https://devblogs.microsoft.com/dotnet/a-new-fsharp-compiler-feature-graphbased-typechecking/