2 ms·
I used it for about a year with VSCode, then integrated it into Emacs. I easily ignore completions I don’t need.
by mark_l_watson 3y ago
I used it for about a year with VSCode, then integrated it into Emacs. I easily ignore completions I don’t need.
- JHonaker 3y agoI meant more “what are you actually completing?” And “how much?” I haven’t found the completions to be particularly helpful. For instance, I’m often fighting incorrect array indices and slices, pulling out magic numbers into variables, decoding some one-liner completion, or figuring out what’s usable and what I need to cut out and replace in a larger block. What’s really struck me is how much I really want Agda style hole-filling completion. I want to just be able to type a variable name and have it destructure cases for me. That happened a few times, and it was really nice. I’d forgotten how nice it was to be able to do that in Agda. I want that everywhere. Also, just noticed who you were, I really enjoyed some of your Lisp books.
- mark_l_watson 3y agoFor Python, Common Lisp (that we both enjoy!), and a few other languages, I often get an entire function generated. If I ask for a function to make a SPARQL query to DBPedia, for example, it often generates valid SPARQL and code. I also ignore a lot of generated code.