Du befindest dich hier: FSI Informatik » user » andy (Übersicht)
Dies ist eine alte Version des Dokuments!
Wieder einer von diesen Theorielamern die nebenbei irre Sprachfeatures ausnutzen um praxisferne Software zu schreiben.
Typische Aussagen:
- „Das zockt man doch locker aus der Hüfte über nen Isomorphismus.“
- „[…] seiteneffektfreie, rein funktionale, kombinatorenlogisch fundierte, semantikerprobte, monadische Struktur […]“
- „[…] Userlevel-Threads in 3 Zeilen […]“
- „Anschaulich trivial bedingt Unentscheidbarkeit.“
- „Schleifen sind lineare Rekursionen erster Ordnung, also geht man natürlich mit Induktion ran.“
- „Strukturelle Induktion lernt man doch schon in ThI1 zu schätzen.“
- „Seit wann ist Compilerbau nicht mehr realworld?“
- „Wieso ist dir * nicht realworld genug?“ *„Also für mich ist das realworld-praxisrelevant!“ *„Yeah, Haskell goes realworld.“ *„Turingvollständig heisst ja erstmal nur das du S und K hast, nicht wieviele du brauchst.“ *„2 Stapel Papier sind turingvollständig.“ *„Diffuses Beweiswissen ersetzt ganze Mathesemester.“ *„Ich dachte du magst Mathe?“ *„ThI zockt Mathe doch schon im 1. Semester.“ *„Du betreibst das als weiche Wissenschaft?!“ *„Mein beweisbar optimaler Automat schaffts 8M Daten in 20ms zu scannen.“ *„Es gibt nie genug krasse Leute.“ *„Ach komm, ich hab schon Schemeinterpreter in * geschrieben, das ist doch bestimmt ein Standardbeispiel in jedem besseren Anfängerbuch.“
- „Wer nicht beweist, der nicht gewinnt.“