An ML-family, statically typed, functional programming language for data-parallel computations. Targets CUDA, OpenCL, and CPUs.