Re: [PHP-DEV] Re: Design by Contract

2015-02-09 Thread Dmitry Stogov
On Feb 10, 2015 3:25 AM, "Stanislav Malyshev" wrote: > > Hi! > > > constraints. Type check is one of them. There are many people argue "This > > language is secure and robust because it has _static_ types". > > These people are wrong. Languages can't really be secure or robust, only > code impleme

Re: [PHP-DEV] Re: Design by Contract

2015-02-09 Thread Yasuo Ohgaki
Hi Stas, On Tue, Feb 10, 2015 at 9:24 AM, Stanislav Malyshev wrote: > > constraints. Type check is one of them. There are many people argue "This > > language is secure and robust because it has _static_ types". > > These people are wrong. Languages can't really be secure or robust, only > code

Re: [PHP-DEV] Re: Design by Contract

2015-02-09 Thread Stanislav Malyshev
Hi! > constraints. Type check is one of them. There are many people argue "This > language is secure and robust because it has _static_ types". These people are wrong. Languages can't really be secure or robust, only code implemented in these languages can, and we have witnessed many examples of

Re: [PHP-DEV] Re: Design by Contract

2015-02-08 Thread Yasuo Ohgaki
Hi all, On Mon, Feb 9, 2015 at 3:41 PM, Yasuo Ohgaki wrote: > On Mon, Feb 9, 2015 at 2:12 PM, Daniel Lowrey wrote: > >> First, let me say that I have voted against the current scalar types RFC. >> Please do not let that color your evaluation of the rest of this message >> ... >> >> I want to go

Re: [PHP-DEV] Re: Design by Contract

2015-02-08 Thread Yasuo Ohgaki
Hi Daniel, On Mon, Feb 9, 2015 at 2:12 PM, Daniel Lowrey wrote: > First, let me say that I have voted against the current scalar types RFC. > Please do not let that color your evaluation of the rest of this message > ... > > I want to go on record (for the n-th time) as being unhappy about any >