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 >

[PHP-DEV] Re: Design by Contract

2015-02-08 Thread Daniel Lowrey
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 proposal that forces me to use php.ini. IMHO if it doesn't work with `$ php -

[PHP-DEV] Re: Design by Contract

2015-02-08 Thread Yasuo Ohgaki
Hi Francois, On Mon, Feb 9, 2015 at 12:43 AM, François Laupretre wrote: > > De : yohg...@gmail.com [mailto:yohg...@gmail.com] De la part de Yasuo > Ohgaki > > > > Since people's preferences are diverse. It might be a good idea having > pre-vote > > for designs, then we may have final vote with s

[PHP-DEV] RE: Design by Contract

2015-02-08 Thread François Laupretre
> De : yohg...@gmail.com [mailto:yohg...@gmail.com] De la part de Yasuo Ohgaki > > Since people's preferences are diverse. It might be a good idea having > pre-vote > for designs, then we may have final vote with single design. > > We need some consensuses even for pre-vote. > > What do you think?

[PHP-DEV] Re: Design by Contract

2015-02-08 Thread Yasuo Ohgaki
Hi Guilherme and Francois, Could you give your ideas for these? Thank you. -- Yasuo Ohgaki yohg...@ohgaki.net On Sun, Feb 8, 2015 at 5:16 PM, Yasuo Ohgaki wrote: > Hi Dimitry, Francois and Guilherme, > > On Thu, Feb 5, 2015 at 8:14 PM, Dmitry Stogov wrote: > >> Hi Yasuo, >> >> Following our c

[PHP-DEV] Re: Design by Contract

2015-02-08 Thread Yasuo Ohgaki
Hi Dimitry, Francois and Guilherme, On Thu, Feb 5, 2015 at 8:14 PM, Dmitry Stogov wrote: > Hi Yasuo, > > Following our conversation, I tried to imagine how DbC should look like in > PHP from user perspective. Finally, I was influenced by the semantic > proposed in D, and syntax proposed for Java

[PHP-DEV] Re: Design by Contract

2015-02-05 Thread David Soria Parra
On 2015-02-05, Dmitry Stogov wrote: > --001a11c20e52da1ee0050e556679 > Content-Type: text/plain; charset=UTF-8 > > Hi Yasuo, > > Following our conversation, I tried to imagine how DbC should look like in > PHP from user perspective. Finally, I was influenced by the semantic > proposed in D, and sy

[PHP-DEV] Re: Design by Contract

2015-02-05 Thread Yasuo Ohgaki
Hi Dmitry, Thank you for your time! On Thu, Feb 5, 2015 at 8:14 PM, Dmitry Stogov wrote: > Following our conversation, I tried to imagine how DbC should look like in > PHP from user perspective. Finally, I was influenced by the semantic > proposed in D, and syntax proposed for Java. So, these a

[PHP-DEV] Re: Design By Contract

2006-04-18 Thread Michael Wallner
James Crane wrote: I've been reading and I discovered a concept called Design By Contract. I've not seen any particular libraries to aid in this particular development design process, but I was wondering if you folks had, or if there were plans to consider providing for this functionality within