Automatic GPU optimization through higher-order functions in functional languages