I think that a,b,c are implicitly typed but I'm not sure.>>>2) A parameter of type procedure in Algol 60 doesn't have any type or>calling-convention information about the parameters. How does one know>whether to supply thunks or values, and what type of values? Since there>are no variables of procedure type, thank Ghu, a complete flow trace is>possible, but is this really necessary?

This is a well-known screwup from FORTRAN, repeated in Algol 60, corrected in
Algol 68, but repeated again in Algol W, Pascal, and C. Pascal and C have
since been fixed. It requires a run-time type check.
--
Gordon V. Cormack CS Dept, University of Waterloo, Canada N2L 3G1
gvcormac@plg.uwaterloo.ca http://plg.uwaterloo.ca/~gvcormac
--