Common Lisp with Coalton added on will get you all of those.

I have dreams that the new java record classes will take the world by storm, but I imagine years of refuctoring getters and setters will be a hard habit to break for the community.