> Nim is already pretty easy to program in; if on top of it we could have some > security-based capability system, that in my book is a winner.
You can use Nim's effect tracking to accomplish similar things or you use some `typedesc[T]` parameters to model capabilities (these are elided in the code generator and have no overhead). It's really easy to do, somebody could experiment with it.