This has been discussed before, but is there inter...

# language-proposals

[kevinmost]

This has been discussed before, but is there interest in having a KEEP for some sort of mechanism to have compiler-verified pure lambdas? It'd be really nice considering Kotlin's functional aspects. I could write functional code that I know has no side-effects