Open jackfirth opened 3 years ago
Gave up on the github pull request integration approach for now. Seems there isn't yet a way for github actions to produce annotations: https://github.community/t/what-are-annotations/16173
New user interface idea: a Discord bot (and/or a Slack bot) so that people can run resyntax
over code in chatrooms and get suggestions that way. Would be especially useful in the #help
channel of the Racket Discord server, where students often show up and share code looking for advice.
Do you have plan to make some functions as interface? Then racket-mode or racket-langserver can reuse them.
Yes, though that'd be the programmatic interface. I'm not sure what it will look like yet.
Maybe a function type is file -> (listof suggestion)
, a suggestion
would be a text -> text
? From my understanding this model can fit racket-langserver and racket-mode both.
How should
resyntax
surface suggestions to users? I can think of several possibilities:racket-mode
, maybe even something hooked up to racket-langserver.Ideas and opinions welcomed!