资料来源 : Free On-Line Dictionary of Computing

descent function
     
        If a {recursive} function is of the form
     
        	f x = ... f (d x) ...
     
        then d is known as the descent function.