The generated programs are instanti

The generated programs are instantiations of a predefined set of higher-order functions such as fold.

ผลลัพธ์ (ไทย) 1:

โปรแกรมสร้าง instantiations ของชุดของฟังก์ชันขั้นสูงเช่นพับได้

ผลลัพธ์ (ไทย) 2:

โปรแกรมที่สร้างขึ้นจะ instantiations ของการตั้งค่าที่กำหนดไว้ล่วงหน้าของฟังก์ชั่นขั้นสูงเช่นการพับ

ผลลัพธ์ (ไทย) 3:

การสร้างโปรแกรม instantiations ของที่กำหนดไว้ล่วงหน้าชุดของฟังก์ชั่นขั้นสูงเช่นพับ