It reads very like passing uninitialised variables to a function which may initialise them for you. That's one of the worst parts of imperative programming.

The distinction between bringing variables into scope and assigning them values is a strange one for a functional language, but in fairness the talk is titled beyond functional programming.