compiler continuation-passing-style cpu domain-specific-language functional-language gpu imperative-programming-language partial-evaluators simd vectorization