maybe functional with strong static type system and possibly with dynamic compilation.