Testgetriebene Entwicklung bei funktionalem Code – Alles gleich oder alles anders?

Testgetriebene Entwicklung (engl. Test-driven Development, abgekürzt TDD) hat sich bei der Entwicklung objektorientierter Systeme bewährt. Manche Vertreter funktionaler Sprachen behaupten, dass TDD bei „richtig“ funktionalem Code nicht mehr nötig ist.
Ich möchte in diesem Vortrag beleuchten, inwieweit TDD bei der Verwendung funktionalen Programmierstils noch sinnvoll ist, was wir dabei verändern müssen und wie sehr das Vorgehen von der Programmiersprache abhängt. Typsysteme, Property Testing und Mocks spielen in dieser Diskussion eine wichtige Rolle. Und vielleicht können wir dabei auch etwas über die Verwendung funkionaler Programmierelemente bei der Programmierung mit Java lernen.
Die Zuhörer sollten sowohl die Grundlagen der testgetriebenen Entwicklung kennen als auch an der aktuellen Diskussion über funktionale Sprachen interessiert sein.