Ah sorry, I misunderstood your question. No, I need to add an extra check for that.
On Wed, 19 Mar 2025 at 22:24, Yehuda Katz <yeh...@ymkatz.net> wrote: > 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 >> >