This looks really interesting. Does it make sure that there is not a loop
by calling another class method from inside the invariant check?

- Y

Sent from a device with a very small keyboard and hyperactive autocorrect.

On Wed, Mar 19, 2025, 4:58 PM Andrea M <and.manc...@googlemail.com> wrote:

> Hi everyone,
>
> I started my journey as a LAMP developer back in 2004, working with PHP 4
> and MySQL 3. For years, PHP was my daily driver, but toward the end of
> 2011, I transitioned to JavaScript, gradually writing less and less
> PHP—until it became just an occasional tool in my stack.
>
> That changed with *beyond-tabs.com <http://beyond-tabs.com>*. Through
> this project, I found myself re-embracing PHP, and, thanks to this
> community, I also discovered *Design by Contract (DbC)*—a paradigm that
> immediately resonated with me. Now, I want to take the next step and author
> my very first PHP extension: *Invariant PHP
> <https://github.com/andreamancuso/invariant-php>*, bringing DbC
> principles to the language.
>
> Beyond just being an extension, I see this as a *proof of concept*—a way
> to demonstrate the value of DbC in PHP and potentially spark a conversation
> about native support in future PHP versions. I’m eager to learn from this
> group, get feedback, and hopefully contribute something meaningful to the
> ecosystem.
>
> Looking forward to your guidance and insights!
>
> Best,
> Andrea
>

Reply via email to