在codice_45函数的情况下，为了避免在不明确定义的列表上失控求值，函数codice_10必须“不总是”需求它的第二个参数的值，至少不是所有都要，或者不是立即就要。
非空列表的特殊折叠.人们经常希望选择codice_10的单位元作为初始值codice_9。在没有合适的初始值的时候，例如在想要把计算它的二个参数的极大值的函数，折叠到一个非空列表之上，来得到这个列表的极大值，可以用codice_8和codice_11的变体，它们分别使用这个列表的最后一个和第一个元素作为初始值。在H