Nicole Rauchs und Michael Sperbers Session von der W-JAX 2017

Programmierpraxis übermorgen: Mensch spezifiziert, Maschine programmiert

#Agile #Architektur #Programmieren #Testen & Qualität #W-JAX 2017

24. Juli 2018 Redaktion JAXenter

Wer programmiert, leidet: Die Tipparbeit beim Programmieren muss der Mensch derzeit weitgehend selber machen. Das ist nicht nur viel Arbeit, sie ist auch ziemlich fehleranfällig. In ihrer Session von der W-JAX 2017 stellen Nicole Rauch und Michael Sperber die Programmiersprachen Idris und Agda vor, mit denen der alte Traum vom Computer, der selbst Code schreibt, in greifbare Nähe rücken könnte.

Von den trivialen Codeschnipseln mal abgesehen, die Eclipse einem auf Knopfdruck hinwirft, ist der Mensch immer noch weitgehend selbst gefragt, wenn es um das Programmieren geht. Auch was Fehlervermeidung angeht ist noch Handarbeit gefragt: Moderne Typsysteme sind zwar schon ziemlich gut dabei, einen auf Fehler hinzuweisen, das Programm korrektfrickeln muss man aber immer noch selber. Dabei ist doch das meiste Domänenwissen schon in den Typdefinitionen und -signaturen: Program by Design heißt das Zauberwort.

Mit noch ein bisschen mehr Spezifikation könnte doch der Computer den Code schreiben? Zukunftsmusik oder Irrsinn? Eine neue Generation von Programmiersprachen wie Agda und Idris mit dazu passenden IDEs setzt den alten Traum Schritt für Schritt um: Diese Werkzeuge werden langsam zu echten Partnern bei der Entwicklung. Das Programmieren macht da nicht nur mehr Freude, sondern senkt auch die Fehlerquote dramatisch. So können sich Entwickler auf die individuellen Aspekte der Software konzentrieren, anstatt wiederkehrende Patterns immer und immer wieder umzusetzen. Sie können damit ihre Aufmerksamkeit auf die Domäne und schlussendlich auf die Interaktion mit den Anwendern richten.

Programmierpraxis übermorgen: Mensch spezifiziert, Maschine programmiert from JAX TV on Vimeo.

Nicole Rauch ist freiberufliche Softwareentwicklerin und Softwareentwicklungscoach mit umfangreichem Hintergrund in Compilerbau und formalen Verifikationsmethoden. Neben Event Storming, Domain-driven Design, React.js/Redux und der Sanierung von Java-Legacy-Code-Applikationen erobern sich funktionale Programmiersprachen, allen voran Haskell, langsam aber sicher einen festen Platz in ihrem Repertoire. Des weiteren wirkte sie an der Ausrichtung mehrerer selbstorganisierter Konferenzen und an der Initiierung der Softwerkskammer, einer deutschsprachigen User-Community zum Thema Software Craftsmanship, sowie ihrer Karlsruher Regionalgruppe mit.

Dr. Michael Sperber ist Geschäftsführer der Active Group GmbH, die Individualsoftware ausschließlich mit funktionaler Programmierung entwickelt. Er ist international anerkannter Experte für funktionale Programmierung und wendet sie seit über zwanzig Jahren in Forschung, Lehre und industrieller Entwicklung an. Außerdem hat er zahlreiche Fachartikel und Bücher zum Thema verfasst. Michael Sperber ist Mitbegründer des Blogs funktionale-programmierung.de und Mitorganisator der Entwicklerkonferenz BOB.