Re: DbC for PHP?
Hi Ivan,
On Wed, Jan 29, 2014 at 5:48 PM, Ivan Enderlin @ Hoa <
[email protected]> 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
[email protected]
Thread (8 messages)