That language is basically F#, except for perhaps the performance claims. But F# is definitely not a slow language.
Why F# for Performance -- https://www.youtube.com/watch?v=EIBRoNEpg6c
F# for Performance-Critical Code -- https://www.youtube.com/watch?v=NZ5Lwzrdoe8