As a fan of typescript, I have to say, no you can't be THIS crazy with types in C++, C# or java The reason ts can be unreadable is actually same to why haskell

As a fan of typescript, I have to say, no you can't be THIS crazy with types in C++, C# or java The reason ts can be unreadable is actually same to why haskell, scala, ocaml etc are: the type systems are much more expressive so people keep pushing it.