Report generating domain-specific language (Forth-like and S-expression)

100% test coverage, zero mocking - A study in imperative shell, functional core using the pipeline design pattern

A memory-polymorphic, polyglot implementation of SplDoublyLinkedList (as transpiled by Pholyglot 0.2-betachicken)

Strategies to make functions pure

A type-safe query builder for PHP using Psalm

On composability in software design

Evaluating a Type 3 code clone detection algorithm for PHP

A concept for memory-safe opt-out of GC with locality kinds

Typestate-oriented programming in F*