2026-09-24 09:53 UTC
Want to advance it? Write a PHP backend for Dafny plus its runtime library. Or explore whether PHP could benefit from wrapping the Botan library. Or improve PHPStan or Infection.
Replies (1)
-
@sebastian@phpc.social 2026-09-24 09:54
Rewriting for the sake of rewriting is a waste of resources. And don't get me started on whether I can trust the new thing to be maintained as well as I trust what it wants to replace.