Evaluating for example, adder (10)

Evaluating for example, adder (10) returns a function which adds 10 to its argument:
Suppose, also, that we have the function map defined as follows:

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

การประเมินตัวอย่างเช่น adder (10) จะส่งกลับฟังก์ชันซึ่งจะเพิ่ม 10 ถึงอาร์กิวเมนต์:
คิดว่ายังว่าเรามีแผนที่ฟังก์ชั่นที่กำหนดไว้ดังต่อไปนี้:

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

ประเมินตัวอย่าง วงจรบวก (10) คืนค่าฟังก์ชันที่เพิ่ม 10 อาร์กิวเมนต์:
สมมติ ด้วย เรามีฟังก์ชันแผนที่กำหนดได้ดังนี้:

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

การประเมินผลตัวอย่างเช่นงู( 10 )จะกลับมาทำหน้าที่ซึ่งเป็นการเพิ่ม 10 ถึงข้อถกเถียงที่:
คิดว่ายังมีอีกว่าเรามีแผนที่จะกำหนดไว้ดังนี้: