Monthly Archives: January 2016

Al-Khwarizmi Schmal-Khwarizmi [600 views]

Posted on January 30, 2016 by Bill Wadge

  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 [3200 views]

Posted on January 18, 2016 by Bill Wadge

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 | 4 Comments

Nuclear Pedagogy [1300 views]

Posted on January 13, 2016 by Bill Wadge

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 [2500 views]

Posted on January 8, 2016 by Bill Wadge

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