[MLton] Optional Arguments and FRU

Matthew Fluet fluet@cs.cornell.edu
Tue, 23 Aug 2005 19:35:51 -0400 (EDT)


> However, you are right in that replacing CPS with composition/list+fold
> does also somewhat simplify the technique. The need for a terminator
> ($) vanishes, which is a minor technical advantage.

The terminator is still there: nil in the list case, and the <| defs in 
the composition case (or in the syntactic bracketing of the composition if 
the <| defs is pushed into the definition).