[tobyhinloopen]

True that.

Once types get so complex, I’ve no idea what’s going wrong.

Today I had code running fine but throwing errors all over the place because some deeply nested type mismatch between two libraries.

I just any’d it… i aint got no time for that shit

[bo1024]

But would the code really work without the type checking?

[phist_mcgee]

Are types always correct?

[tobyhinloopen]

No

[tobyhinloopen]

Yes. I had a huge testing suite on the project and all tests were green even though there were tons of type errors.

[valenterry]

You maybe just lack experience with more complex types. Which is totally expected, since you probably learned programming the runtime all the time, but not the typesystem - unless you come from one of those rare languages that have a similar powerful typesystem.

But just like you probably struggled with and overcame many things before, it will be the same now. It's just that you can opt out of the typesystem in typescript whereas you are forced to learn how to deal with the runtime.

But if you make it, your development experience will change drastically. The time might be very well spent.

[tobyhinloopen]

I’ve used C++, C# and Java. Do these count as languages with complex types? I also used typescript a lot and have plenty of more complex types using generics and dynamic generation of types based on other types.

The problem with typescript is that the types are very often wrong or needlessly complicated.

Having separate type definitions from the library is stupid. Having types missing from @types/node is stupid. Many libraries lie about their types.

You can act like typescript is some kind of magic miracle that will save you time, but in reality it is just riddled with many small time-consuming stupidities. Typescript is just trying to a polished turd. Shiny on the outside, but shit within, and this is by design because it needs to work with JS and other poorly typed libraries and code.

If I haven’t convinced you TS is a polished turd, just wait until you find out how to import a modern nodejs module in a typescript project. Hint: you have to import a .js file, even though your file is called .ts.

The tsconfig has so many options that every project is different and a lot of code isn’t interchangeable and can break if copied from one project to another.

Want to convert some TS code to JS without checking types? No can do! Ts-node can do it, but tsc cannot.

[valenterry]

None of these count as a language with complex types in my opinion. C++ has templates but that's not to be confused with its typesystem.

I'm not saying typescripts typesystem is perfect and I'm definitely not saying that most people use it correctly. But at least it has great potential, compared to e.g. Java and C# which still fail to let me describe basic data types and operations in the typesystem.