Actor based; type safe; data-race free; copy-less message passing; easy to write fast programs; non-null types; algebraic data types; ...

Is there a specific language you would like to compare with?