Hacker News new | ask | show | jobs
by zveyaeyv3sfye 370 days ago
> like TypeScript; which has arguably far more powerful type system than Go.

"arguably".

Typescript is just a thin wrapper over javascript who doesnt have these types at all.

2 comments

Wait, you can't be saying that TypeScript doesn't have a much more powerful type system than Go.

AGDTs, mapped types, conditional types, template literal types, partial higher-kinded types, and real inference on top of all that.

It had one of the most fully loaded type systems out there while the Go team was asking for community examples of where generics might be useful because they're not sure it might be worth it.

And yet its types are turning complete