length maps the empty list to 0, an

length maps the empty list to 0, and any non-empty list to the successor of the length of its tail

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

ความยาวผังรายการที่ว่างเปล่าเป็น 0 และรายการไม่ว่างไปสืบความยาวของหาง

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

ระยะเวลาในแมรายการที่ว่างเปล่าให้เป็น 0 และรายการใด ๆ ที่ไม่ว่างเปล่าทายาทของความยาวของหางของมัน

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

ความยาวหน้ารายการที่ว่างเปล่าเป็น 0 และไม่ว่างรายการทายาทของความยาวของหาง