Professor Fish

(C) Professor Fish, aka Ralf Lämmel Stille Nacht! Unheilvolle Nacht! Alles schläft; einsam wacht nur der Bachelor-Student, der nie pennt, der nur rennt. So viele Prüfungen, o weh! So viele Prüfungen, o weh! Stille Nacht! Unheilvolle Nacht! Die wird wieder durchgemacht. Bester Student, o wie lacht bös' aus Deinem Gesicht die Aversion gegen Bologna's Gericht. So viele Regularien, o weh! So viele Regularien, o weh! Stille Nacht! Unheilvolle Nacht! Was hat man nur aus dem Uni-Studium gemacht? Es ist nicht Bologna allein. Andere Trends reihen sich hier ein. Das Denken an Deutschland in der Nacht, hat auch den Professor um den Schlaf gebracht. Lautes Land! Unheilvolles Land! O Marx, gib mir Eltern, die Kinder fordern anstatt Lehrer zu quälen. O Lenin, gib mir Erstsemester, die wissen wollen anstatt videozugamen. Früher war alles besser, o weh! Früher war alles besser, o weh! Stille Nacht! Unheilvolle Nacht! Soll es Weihnachten nun sein, dann Tod den E...

Of course, I have explained to the students in my language theory class what type safety means (remember: progress + preservation) and we have studied this notion time and again for some of the TAPL languages. However, I don't feel like the notion really sinked in universally. Some students consider all this semantics and calculus stuff as obscure and there is a certain critical mass of notation, when passed, concepts are not understood anymore (by some if not many of the Bachelor-level students in my class). Last night, I came up with a nice "semantics riddle" for type safety: What would be a super-trivial language with a type system and an SOS semantics such that type safety is violated? I gave the students 2 minutes to think about the question. I emphasized several times that the language should be super-trivial. I also asked them for a general strategy for mis-designing a language to be type-unsafe. One idea that popped up was to support some notion of cast....