Marco
anarres@chaos.social
<p>Chief enabler and software architect at <span class="h-card" translate="no"><a href="https://discuss.systems/@activegroupgmbh" class="u-url mention">@<span>activegroupgmbh</span></a></span>, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna</p>
Posts
-
View post
Der Kollege Schlegel hat ein paar kluge Gedanken zum Thema &#39;Testbarkeit von puren Funktionen&#39; und das Verhältnis von &quot;testbar&quot; und &quot;formalisierbar&quot; 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