undefined | Better HN

0 pointsmhh__1y ago0 comments

I think the point isn't really about the value of type safety but rather the value-add of bothering with the whole of typescript (as in the type safety they provide rather than an abstract ideal) versus some other solution.

It's quite annoying IMO. Some of the things it can be infer are reasonably impressive but then that gets balanced out with having to write out a lot of crap that something a bit more HM-like would be able to nail immediately (rather than just "Any!? Fuck you").

That and the refusal to add other value-adds (despite being a compiler in all but name) hobbles the union types and so on.

0 comments

throwaway114601y ago

Could you give me some examples of this unnecessary code? Are you using type inference to its full capabilities? It's only really necessary to declare types at interfaces (function arguments, etc)... Is that what you're referring to?

j / k navigate · click thread line to collapse

0 pointsmhh__1y ago0 comments

That and the refusal to add other value-adds (despite being a compiler in all but name) hobbles the union types and so on.

0 comments

throwaway114601y ago

j / k navigate · click thread line to collapse