So, the overall picture is:
1. We do want to have some contracts / effects system, we have some prototyping going on, but it will be "productized" in 1.4+. Probably a bit too late.
That would basically allow you to initialize variables in lambdas passed to functions with special annotations.