Re: [RFC] [VOTE] Typed properties v2

On 19/09/2018 21:04, Levi Morrison wrote:

I think this code should be allowed:

    class User {
         public int $id;
         public string $preferred_name;
         public string $username;
     }

Why? What contract is being enforced by that class that is not enforced by this class? class User {

        public ?int $id=null;
        public ?string $preferred_name=null;
        public ?string $username=null;
    }

Both require the consumer of the class to trust that someone, somewhere, has initialised the fields (and not subsequently unset them). Or have I misunderstood what you intended with that example? Regards, -- Rowan Collins [IMSoP]