Question about level 3 acceptance re static analysis

[baronfel]

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]

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

FSharpLint is a form of static analysis.

[baronfel]

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]

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.