FSCK 2024 - Functional correctness -- Haskell-ing your way to reliable code 

i like the part where he said haskell and then haskelled all over the place

Is the English language talk the slides were recycled from available anywhere? Trying to watch with auto-translated subtitles but that's difficult.

Was ist denn mit mcrl2 für beweisbar-sicheren Code bzw. generell der concurrent sequential processes Ansatz?

10:00 `i` ist state

Super Vortrag! Hätte ihn fast nicht angesehen, da mein Englisch nicht sehr gut ist.

Er hätte auch Sprecher bei den 3 Fragezeichen werden können

guter talk. das meiste kann man auch gut in typescript machen :)

24:26 Das ist nicht obviously true. Ich biete fac -1.

feedback an speaker: bei den fragen mehr ausreden lassen

Please DO NOT use English titles for a German-speaking presentation

Als C-Programmierer tun mir einige dieser Beispiele natürlich in der Seele weh. Nein, reverse ist keine reine Funktion. Sondern sie wird entweder die umgekehrte Liste zurückgeben oder einen Laufzeitfehler. Damit wird auch deine Version von isPalindrome zu einer Funktion, die entweder ein Boolean zurückgibt oder einen Laufzeitfehler. Die Python-Version am Anfang hingegen, so schlecht sie auch geschrieben war, wird immer ein Boolean zurückgeben. Die Rede ist natürlich von Speicherallokation. Diese sollte man vermeiden, wenn möglich, da sie eine Fehlerquelle ist. Und das mit der Rekursion ist halt auch immer so eine Sache. Natürlich kann man damit Dinge elegant ausdrücken, aber man kann sich auch sehr schnell ins Abseits stellen. Zum Beispiel kann man auch die rekursive Definition der Fibonacci-Zahlen 1:1 abtippen in Haskell - erhält dann aber eine Funktion mit exponentieller Laufzeit. In C kann ich ganz schnell eine Version in linearer Laufzeit aufschreiben, die nicht mal den Stack überschreibt.

Alles Toll, aber das Denglisch....,....... :)

this is a great example of technological determinism.. however bound to fail, yet again. Fearless Refactoring and what not...