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 l

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?