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@discuss.systems Firmenblog https://funktionale-programmierung.de/2025/10/13/testbarkeit-pure-funktionen.html
#functionalprogramming #funktionaleprogrammierung #clojure #scala #haskell #agda #formalmethods