> but I think it beats trying to reinvent the entire world of tooling that programmers use all day: grep, text editors, IDEs, etc. Exactly, but only because we

> but I think it beats trying to reinvent the entire world of tooling that programmers use all day: grep, text editors, IDEs, etc. Exactly, but only because we don't have a any really good solutions to building tooling that supports meta-programming for typed languages. > the window into the program that we have while editing doesn't see any of the results of that metaprogramming I wonder if there's a way to build IDEs that provide support for metaprogramming. (Also, this was a really excellent comment.)