Re: [PHP-DEV] Make strict mode more strict?

2015-12-26 Thread Elijah Johnson
Hi François, > > Hi Yasuo, >> Le 17/09/2015 00:10, Yasuo Ohgaki a écrit : >> Hi all, >> >> Assigning different type to already initialized variable is a bug most >> likely. There may be cases that variable should have several types, >> e.g. return INT for success and FALSE for failure

Re: [PHP-DEV] Make strict mode more strict?

2015-12-28 Thread Elijah Johnson
Thanks, On Mon, Dec 28, 2015 at 6:34 AM, François Laupretre wrote: > Hi, > > Le 26/12/2015 21:35, Elijah Johnson a écrit : > >> Can you explain your statement that this would be a huge and complex >> work? You must mean that there would be multiple places in the

Re: [PHP-DEV] Make strict mode more strict?

2015-12-28 Thread Elijah Johnson
Some additional observations - On Mon, Dec 28, 2015 at 10:03 AM, Elijah Johnson wrote: > Thanks, > > On Mon, Dec 28, 2015 at 6:34 AM, François Laupretre > wrote: > >> Hi, >> >> Le 26/12/2015 21:35, Elijah Johnson a écrit : >> >>> Can you expl

Re: [PHP-DEV] Make strict mode more strict?

2015-12-28 Thread Elijah Johnson
Hi (all), On Mon, Dec 28, 2015 at 3:40 PM, Yasuo Ohgaki wrote: > Hi all, > > On Tue, Dec 29, 2015 at 5:28 AM, Yasuo Ohgaki wrote: > > Object(class) is type, so it makes sense checking class consistency. If > we > > check object's class, not only the class but also ancestor classes > should be >

[PHP-DEV] Possible solution to implement type checking hints on stack variables

2015-12-29 Thread Elijah Johnson
Hi (all), On Mon, Dec 28, 2015 at 6:23 PM, Elijah Johnson wrote: > Hi (all), > > On Mon, Dec 28, 2015 at 3:40 PM, Yasuo Ohgaki wrote: > >> Hi all, >> >> On Tue, Dec 29, 2015 at 5:28 AM, Yasuo Ohgaki wrote: >> > Object(class) is type, so it makes sen

[PHP-DEV] Re: Possible solution to implement type checking hints on stack variables

2015-12-29 Thread Elijah Johnson
Hi (again), On Tue, Dec 29, 2015 at 6:48 PM, Elijah Johnson wrote: > Hi (all), > > On Mon, Dec 28, 2015 at 6:23 PM, Elijah Johnson > wrote: > >> Hi (all), >> >> On Mon, Dec 28, 2015 at 3:40 PM, Yasuo Ohgaki wrote: >> >>> Hi all, >>> >