Programm für das vierzehnte Treffen am 19. Mai 2016

Marc setzte die Reihe über rein funktionale Datenstrukturen (begonnen durch Tims Vortrag zu Warteschlangen mit einem Vortrag über Rot-Schwarz-Bäume in Scheme fort.

Die während des Vortrags erstellte Scheme-Implementierung steht auf GitLab.

Außerdem setzte Makarius die Reihe Schönheit und Kunst mit weiterer Arbeit in Isabelle fort: Er löste Aufgabe 12 der beiden Workshops (Run-Length-Encoding), und zwar erstens “diesmal wirklich” und zweitens absolut vollständig. Damit ist natürlich gemeint, dass er die Korrektheit seiner Lösung in Isabelle bewies. Außerdem stellte er einen Geschwindigkeitsrekord für die Implementierung der Übungsaufgabe in mehreren Programmiersprachen auf.