HLint

Sunday, 13 September 2009, 09:26 von Blackflash

Aus der Beschreibung von HLint geht hervor, dass es sich um ein Werkzeug handelt, das Hinweise für besseren Code gibt. Nachdem ich einen Artikel über HLint von Neil Mitchell, dem Autor von HLint, gelesen habe, installierte ich HLint sofort. Da die Installation per cabal aus unerfindlichen Gründen nicht funktioniert hat, habe ich es per yaourt installiert und über mein aktuelles Projekt laufen lass[...]



Thursday, 13 August 2009, 15:38 von Blackflash

Vor zwei Tagen gab es auf ProgrammingPraxis.com die Aufgabe Uncle Bob’s Bowling Game Kata durchzuführen. Bei dieser Kata geht es darum, anhand von der umgefallenen Pins die Gesamtpunktzahl einer Bowling-Runde zu ermitteln. Die in Haskell angefertigte Lösung ist sehr elegant, weshalb ich sie hier präsentieren und verifizieren will. Aber davor müssen noch einige wichtige Begriffe und natürlich die R[...]



Verifikation von Algorithmen (anhand von Biphrost)

Friday, 05 June 2009, 16:37 von Blackflash

Seit einiger Zeit hat sich nichts an Biphrost verändert, was vor allem daran lag, dass bisher keine neuen Features notwendig waren, die mit dem Gedanken von Biphrost vereinbar sind, d.h. Biphrost ist bisher vollständig. Aber ist Biphrost auch korrekt, d.h. macht Biphrost das, was vorgesehen ist? Ich habe keinerlei Unit-Tests verwendet, aber macht das einen Unterschied in Bezug auf Korrektheit? Nei[...]