Design and Implementation of the Futhark Programming Language