search

dotnet-foundation / project-maturity-model

Proposal/RFC for new .NET library development model.
MIT License
39 stars 8 forks source link

Question about level 3 acceptance re static analysis #22

Open baronfel opened 5 years ago

baronfel commented 5 years ago

I was looking over the proposed Level 3 guidelines and saw this line:

Uses static analysis tools to validate pedigree and safety.

My concern is that in the F# community there isn't not exactly a strong stable of such tools. Does that mean that F# projects would not be eligible for that tier? How stringent is that requirement?

glennawatson commented 5 years ago

How about http://fsprojects.github.io/FSharpLint/

FSharpLint is a form of static analysis.

baronfel commented 5 years ago

That's fair, though many of those rules are stylistic in nature and don't change correctness. I use fsharplint professionally through the ionide integration, so am familiar with its feature set.

isaacabraham commented 5 years ago

FSLint is a subjective set of rules (and this could be equally applied to Fantomas). It's not like the static analysis tools in the C# world.