In functional programming, a property of a function which allows it to be combined with other functions in a way that eliminates intermediate data structures, especially lists. Phil Wadler' s thesis gives the conditions fOR a function to be in listless fORm: each input list is traversed only once, one element at a time, from left to right. Each output list is generated once, one element at a time, from left to right. No other lists are generated OR traversed. Not all functions can be expressed in listless fORm (e.g. reverse). (1995-02-22)