Turns out that Emacs docstrings have an elaborate escaping mechanism. \[foo] shows the keybinding for foo, but \=\[foo] shows \[foo] literally.
If you're a Helpful user, we now handle this correctly, *and* show handy buttons!
miniblog.
Related Posts
Are there examples of IDE services deliberately leveraging elaborate type systems?
I'm struggling to think of what a richer type system enables in the IDE space. The existence of void* in C, interface{} in Go, or a lack of generics, doesn't seem to have limited possibilities.
C : C++, Java : Scala/Kotlin, JS : TypeScript. There definitely seems to be space for languages that target the same platform.
AFAICS the success criteria are: great interoperability, similar toolset, similar syntax, and a more elaborate type system.
Are there counterexamples?
I've worked on many projects where tests are have discrete levels, usually something like unit test, integration test, end-to-end test.
I've also seen elaborate arguments over what counts as a unit, especially in heavily OO codebases.