I think that would be nice as a static analysis to...

# language-proposals

[kevinmost]

I think that would be nice as a static analysis tool. I would like the ability to only pass certain params to a lambda but if the implementation of pure lambdas on a language level would be heavy, I can accept the possibility of verifying via static analysis