L Programming Language & System (distributed, secure[capability based], functional)

L is a "dynamically-typed, block-structured, purely-functional, strict language" which takes the following from Smalltalk:

* There is only one kind of value: the object.
* There is only one kind of operation: the message send.
* The grammar is small: few expression/parse types.
* The system is self-contained; everything is an object, including source code.
* The system is dynamic; objects, including source code, are editable at runtime.

adds the following:

# Modularity.
# Security.... A module should only have access to what it needs to do its job and no more.
# Thread Safety.
# Distributed Computing.
# Virtual Machine

found at E's what's new page