• andallthat@lemmy.world
      link
      fedilink
      English
      arrow-up
      7
      ·
      11 hours ago

      I think that’s so type inference can work by just omitting the type, instead of having to use “var” or “auto” in front of the variable name

      • chrash0@lemmy.world
        link
        fedilink
        English
        arrow-up
        1
        ·
        1 hour ago

        not precisely. Rust has let mut and Kotlin has val; ie the member layout and the mutability are treated differently, since those languages have mutability rules.

        this is a circular argument anyway. the language designers could have figured out a way to do type inference like, eg, Java, but, again, explicitly chose not to.