Week 1 22nd Oct

Research

• What others have done in this area

Implementation

• Initial Implementation

Questions

Hints/Fsharp lint fufills objective in terms of

• Stylistic correctness - Yes E.g.

Consider changing `print` to PascalCase.
Error in file Program.fs on line 2 starting at column 19
   abstract member print : unit -> unit

• Deterministic - yes
• Heuristic - to a certain extent ? - What is the difference between heuristics/deterministic? Warnings/mistakes that are hard to catch?

E.g.

If `(+)` has no mutable arguments partially applied the lambda can be removed.
Error in file Program.fs on line 6 starting at column 23
    let x = List.fold (fun x y -> x + y) 0 [1;2;3]

• Work on improving existing Fsharp lint which is already integrated into ionide?
• look into how Fsharp lint works and assess whether to build framework?