3 ms·
Wingman for Haskell: Focus on the important stuff; delegate the rest
- solomonb 5y agoI 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.
- juxtapose 5y agoTotally 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.