Der Kollege Schlegel hat ein paar kluge Gedanken zum Thema 'Testbarkeit von puren Funktionen' und das Verhältnis von "testbar" und "formalisierbar" aufgeschrieben. Kurz und lesenswert auf unserem @activegroupgmbh Firmenblog https://funktionale-programmierung.de/2025/10/13/testbarkeit-pure-funktionen.html #functionalprogramming #funktionaleprogrammierung #clojure #scala #haskell #agda #formalmethods