Recommend me a programming language with meta-programming capabilities, strong types and functional features like map, filter, etc. that isn't too verbose and has good execution times.
And a project idea to test the language.