Comment by gpderetta

Well OP, are you me? everything you listed is also in my short wishlist for a programming language (well except for the value database, once to you have first class relational tables in your language, persistence can be tied to the table identity, doesn't need to be implicit).

Capabilities and dynamic scoping for "modularisation" nicely lead to implicit variables instead of truly global dynamically scoped variables. Implicit variables also probably work well to implement effect systems which means well behaved asyncs.

Edit: other features I want:

- easy embedding in other low level languages (c++ specifically)

- conversely, easy to embed functions written in another language (again c++).

- powerful, shell-like, process control system (including process trees and pipelines), including across machines.

- built-in cooperative shared memory concurrency, and preemptive shared nothing.

- built-in distributed content addressed store

I guess I want Erlang :)