I thought Haskell Wingman would be an interesting counterpoint to Github's Copilot. Wingman uses a Tactics engine to synthesize code for the developer in a way that is perhaps a lot more controlled and meaningful then using some deep learning model.

Totally love this! Just tried it and it worked quite well.

Things like this could be a reason why we should write in the functional style: completing a typed hole doesn't need you to reason about other implicit states.