Recent searches
Search options
Administered by:
continuing from this post, re: semgrep/comby/ROTOR: https://discuss.ocaml.org/t/next-priority-for-ocaml/12561/97?u=elliottcable
Y’know, just musing, and i’m brand-new to this terminology so this may sound stupid, but …
with tools like Semgrep/Comby, we’re effectively talking about pattern-matching (over syntax instead of ADTs), and pattern-matching is a specific application of unification, right?
Am I correct in thinking that a truly-general refactoring tool like that would have a lot in common with a first-order #typechecker?
OCamlNext priority for OCaml?Ooof. Syntactic refactoring. I spent some time on this. I briefly looked at Comby way-back-when, before diving neck-deep into Semgrep; but I didn’t really get a good feel for it. Semgrep, though, is one of the most nightmarish codebases I’ve ever spent significant time in. A lot of that isn’t due to lack of engineering skill, but is due to the ambitious scope, and an unprincipled (… but don’t listen to me wtf do I know …) initial design; they’ve got a informally-specified “general AST” that a...
i dunno where to ask this where 'll actually get traction and a discussion; but i kinda want to. feels like i'm close to Understanding Something.