Design Space for Code Search Query
ast-grep.github.io
Design Space for Code Search Query
1–10 of 10 posts
Re: Design Space for Code Search Query
#2Re: Design Space for Code Search Query
#3oooh they're gonna just die over there when they see my contribution to the design space that would earn green on every category
The thing is, people seem to be under this weird assumption that you write embedding languages directly, and thus that embedding languages are hard to use.
The thing about embedding languages is that you aren't meant to see the embedded form!!! HTML is an embedding language, and I'm editing it right now (to write this post) without ever seeing a single HTML tag. I can see HTML of course if I want to by opening devtools, but the real power of an embedding language is that it can serve as a backend to a GUI because there's no state that you could create in the GUI that can't be represented in the embedding language
Re: Design Space for Code Search Query
#4oooh they're gonna just die over there when they see my contribution to the design space that would earn green on every category
I'd summarize it as "create a standard embedding language for queries". The thing is, people seem to be under this weird assumption that you write embedding languages directly, and thus that embedding languages are hard to use. The thing about embedding languages is that you aren't meant to see the embedded form!!! HTML is an embedding language, and I'm editing it right now (to write this post) without ever seeing a…
Re: Design Space for Code Search Query
#5oooh they're gonna just die over there when they see my contribution to the design space that would earn green on every category
I'd summarize it as "create a standard embedding language for queries". The thing is, people seem to be under this weird assumption that you write embedding languages directly, and thus that embedding languages are hard to use. The thing about embedding languages is that you aren't meant to see the embedded form!!! HTML is an embedding language, and I'm editing it right now (to write this post) without ever seeing a…
- You get the simplicity of "direct code search". You just write the syntax you want to find.
- You get the full power of "code with holes", e.g. to be able to distinguish between matching a body with no children and a body with arbitrary children
- You get the full precision of an embedded language. There are no technical limitations on this technique and what programming languages it is readily compatible with.
Re: Design Space for Code Search Query
#6Earlier quoted context omitted.
I'd summarize it as "create a standard embedding language for queries". The thing is, people seem to be under this weird assumption that you write embedding languages directly, and thus that embedding languages are hard to use. The thing about embedding languages is that you aren't meant to see the embedded form!!! HTML is an embedding language, and I'm editing it right now (to write this post) without ever seeing a…
Rock on, my brother! I really like your github page blurb; good luck to you, my friend.
Re: Design Space for Code Search Query
#7Re: Design Space for Code Search Query
#8I'd be happy with just being able to do regex searches over multiple (2 or 3) lines without jumping through hoops. The mentioned Structural Search for JetBrains' IDE sounds promising--I'll have to try that out.
Re: Design Space for Code Search Query
#9I'd be happy with just being able to do regex searches over multiple (2 or 3) lines without jumping through hoops. The mentioned Structural Search for JetBrains' IDE sounds promising--I'll have to try that out.
I have tried it and it seems to have a good effect. I don't know why JetBrains didn't promote this search method. Instead, it is hidden a bit deeply.
[1] https://www.jetbrains.com/idea/docs/ssr.pdf [2] https://www.youtube.com/watch?v=YeGPO-UHTbs [3] https://www.jetbrains.com/help/idea/structural-search-and-re... [4] https://www.jetbrains.com/help/go/structural-search-and-repl... [5] https://www.jetbrains.com/help/pycharm/structural-search-and...