[brap]

I assume types have to be manually generated?

I wonder if there’s a type system strong enough that it can actually parse files, send remote queries, etc… so that types will be generated on the fly as you type with no additional steps.

I heard TS’s and other languages’ type systems are Turing-complete, but surely they’re all isolated enough that this wouldn’t be possible?

Seems like it would be pretty cool. Also kind of a footgun, since the type system becomes a program of its own.