High-order language