การเพิ่มการตอบสนองของ exebookนั้นการใช้คำหลักทางคณิตศาสตร์ช่วยให้สามารถสรุปผลการกำหนดขอบเขตlet
เมื่อใช้ใน Javascript / ES6 ได้ดี โดยเฉพาะเช่นเดียวกับรหัส ES6 ต่อไปนี้จะไม่ทราบได้รับมอบหมายในการจัดฟันของtoPrint
เมื่อมันพิมพ์ออกค่าของ'Hello World'
,
let toPrint = 'Hello World.';
{
let toPrint = 'Goodbye World.';
}
console.log(toPrint); // Prints 'Hello World'
ปล่อยให้ใช้ในคณิตศาสตร์อย่างเป็นทางการ (โดยเฉพาะอย่างยิ่งการเขียนบทพิสูจน์) บ่งชี้ว่าอินสแตนซ์ปัจจุบันของตัวแปรมีอยู่สำหรับขอบเขตของความคิดเชิงตรรกะนั้นเท่านั้น ในตัวอย่างต่อไปนี้ x จะได้รับอัตลักษณ์ใหม่ทันทีเมื่อเข้าสู่แนวคิดใหม่ (โดยปกติจะเป็นแนวคิดที่จำเป็นในการพิสูจน์ความคิดหลัก) และแปลงกลับเป็น x เก่าโดยทันทีเมื่อบทสรุปของการพิสูจน์ย่อย แน่นอนเช่นเดียวกับในการเข้ารหัสสิ่งนี้ถือว่าค่อนข้างสับสนและโดยทั่วไปแล้วจะหลีกเลี่ยงได้โดยการเลือกชื่ออื่นสำหรับตัวแปรอื่น
ให้ x เป็นเช่นนั้น ...
หลักฐานสิ่ง
ความคิดใหม่ {ให้ x เป็นอย่างอื่น ... พิสูจน์บางสิ่ง} สรุปเอาความคิดใหม่
พิสูจน์ความคิดหลักด้วย x เก่า
LET
ที่ใช้ อาจมีตัวอย่างภาษาก่อนหน้า