3 ms·

typescript does such inference. I disagree with you about huge cost for the compiler and benefits are the same as in normal code block: reducing boilerplate.

• kaba0 3y ago
  Typescript’s type system is deliberately not sound though. In general, there is no type inference available for OOP type-hierarchies as opposed to a more Haskell-like type system, where Hindley-Milner works
  • riku_iki 3y ago
    I don't have strong knowledge in types theory, but why class C { a: int = 0; } can't be replaced with class C { a = 0; } ? what issues it brings?..
    • kaba0 3y ago
      That can. But what about a field that is not initialized there?
      • riku_iki 3y ago
        obviously you would need to provide type.