[gopiandcode]

I am more than aware of Typescript, you seem to have misunderstood my point: I was not describing a particular type system (of which there have been many of this ilk) but rather conjecturing that targeting interfaces specifically might make LLM-based code generation/type inference more effective.

[qsort]

Yeah, I read that comment wrong. I didn't mean to come off like that. Sorry.