3 ms·
> we don't really care if a variable is an int specifically, but rather that it supports _add or _sub etc. that it is numeric my brother in christ, you invente
by qsort 2y ago
> we don't really care if a variable is an int specifically, but rather that it supports _add or _sub etc. that it is numeric
my brother in christ, you invented Typescript.
(I agree on the visualization, it's very cool!)
- gopiandcode 2y agoI 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 2y agoYeah, I read that comment wrong. I didn't mean to come off like that. Sorry.