Feb 21 2007
Recursive Types In Ocaml
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:
def p0(aList):
print “p0″
[...]