Is there anything like Julia, but with strong typing and pure FP? addendum: read 'static' for 'strong', please
As for being functional, strictly speaking it is not, but still has some features like closures and higher order functions, immutable variables, the usual suspects (map, filter, ...) can be inlined with zero overhead, side effect tracking and so on (in addition to a very good macro system)