So, the overall picture is: 1. We do want to have ...
# language-proposals
d
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.