Re: DbC for PHP?

Hi Ivan, On Wed, Jan 29, 2014 at 5:48 PM, Ivan Enderlin @ Hoa < ivan.enderlin@hoa-project.net> wrote: > I think DbC must stay annotations, so in comments of the code. If > contracts would be part of the PHP grammar, it would be disappointed for > everyone because there is no unique way to express a contract: either with > the language syntax itself (such as JML [9]) or with a dedicated language, > such as Praspel. Both have pros and cons that I won't describe here (except > if you ask). > However, having the Aspect Oriented Programming paradigm would be very > appreciated. It would avoid a lot of instrumentations and static analyzes. > This idea is a too simple and leaving almost all to user land scripts. I agree that DbC must stay annotations. It's easier to write/read/maintain. Unfortunately, annotation RFC is not accepted. I agree that comprehensive implementation should be chosen if it's possible. Thank you for your inputs! [1] https://en.wikipedia.org/wiki/Praspel [2] http://hoa-project.net/En/Literature.html#Research [3] http://keynote.hoa-project.net/Amost12/EDGB12.pdf [4] https://github.com/hoaproject/Compiler (documentation is under translation) [5] http://keynote.hoa-project.net/Cstva13/EGB13.pdf [6] https://github.com/hoaproject/Praspel/tree/master/AssertionChecker [7] http://atoum.org/ [8] https://github.com/hoaproject/Hoathis-Atoum [9] https://en.wikipedia.org/wiki/Java_Modeling_Language I'll read them later. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net