Re: Introduction & First PHP Extension – Bringing Design by Contract (DbC) to PHP

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.mancuso@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 >