I wrote a new article on using linear streams to construct memory-clean
programs, where being memory-clean means that a program must free every
byte allocated during its execution before it terminates. Here is the link:
I have always hoped that this style of functional programming can be applied
at a very low-level (e.g., for writing device drivers).