A question came up at lunch today that was kind of interesting: in a strongly-typed language, what is the type of a function that takes a list of functions like itself? Of course, such a thing is easy to write in Python, since everything is dynamic: [code lang='python'] def p0(aList): print "p0" if aList: (aList[0])(aList[1:]) [...]