You may want to check out J as a language. It is wonderfully terse and allows for point-free programming, and has all of the advantages you point to above.