miniblog.

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.