Monthly Archives: January 2016

Al-Khwarizmi Schmal-Khwarizmi

  I  like  true/false exam questions and through my career have thought up hundreds of them. Every now and then, for comic relief and to inflate the grades, I include some that are ridiculously easy. However, I’ve never found one that … Continue reading

Posted in Uncategorized | 1 Comment

Extensional Higher Order Prolog

One big issue in the logic programming vs functional programming debate is logic programming’s (or at least the original Prolog’s) restriction to first order logic. To functional programmers this constraint is intolerable; even the simplest Haskell programs are higher order … Continue reading

Posted in research | 2 Comments

Nuclear Pedagogy

This a followup on Wadge’s Law Every Computer Science course has a tendency to degenerate into a programming course. This just begs to be generalized. What about programming courses? Do they degenerate? To what? For example, according to language teachers … Continue reading

Posted in musings | 1 Comment

B before A

Remember this Wadge’s Law Whenever you want to do something, there’s always someone who says there’s something else you have to do first. Call  the thing you want to do A, the thing you’ve been told you have to do … Continue reading

Posted in musings | 1 Comment