Functional Programming for High-Performance Computing on Heterogeneous Architectures