The type system is really well thought out, its easy to write generic code with parametrized types. User-defined types are first class, so the conpiler provides

The type system is really well thought out, its easy to write generic code with parametrized types. User-defined types are first class, so the conpiler provides the same performance benefits for those. Matrix operations are good, and functions can be arguments. Macros are cool, code can be generated at runtime which can be very elegant in the right uses. This is the language you want if you are reading a research paper and want to implement the mathematical formulas directly from the paper and still have good performance. Its a serious high performance computational language, but somehow accessible and not arcane.