well I wasn't sure what you mean by abstraction. typically languages like Haskell, OCaml are based on great abstractions (and are good to express new ones, esp

well I wasn't sure what you mean by abstraction. typically languages like Haskell, OCaml are based on great abstractions (and are good to express new ones, especially from a type-system point of view). If you're looking for languages which are similarly "easy to use", I can suggest to try Nim or Crystal. Nim looks a lot like Python(indentation-based and similar constructs), it has a nice type system and very strong metaprogramming which helps to often express stuff in <= lines you would in Python (and also C and JS backends with excellent interop. Crystal is inspired by Ruby, but it's also statically typed and mostly used for web development from my impression. Its windows support is still under development but it's also very expressive.