functional, declarative, array-oriented, purely functional
scientific computing
static system, full inference