It is known for its use of the Hind

It is known for its use of the Hindley–Milner type inference algorithm, which can automatically infer the types of most expressions without requiring explicit type annotations. Additionally, the use of this algorithm ensures type safety—there is a formal proof that a well-typed ML program does not cause runtime type errors.

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

มันเป็นที่รู้จักกันสำหรับการใช้งานของ Hindley-มิลเนอร์ขั้นตอนวิธีอนุมานชนิดซึ่งจะสามารถสรุปรูปแบบของการแสดงออกมากที่สุดโดยไม่ต้องมีคำอธิบายที่ชัดเจนของ นอกจากนี้การใช้ขั้นตอนวิธีนี้ช่วยให้มั่นใจความปลอดภัยมีประเภทเป็นหลักฐานอย่างเป็นทางการว่าเป็นโปรแกรมที่ดี มล. พิมพ์ไม่ก่อให้เกิดข้อผิดพลาดประเภทรันไทม์.

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

เป็นที่รู้จักสำหรับการ Hindley–Milner ชนิดข้ออัลกอริธึม ซึ่งสามารถอนุมานชนิดของนิพจน์ที่ใหญ่โดยคำอธิบายชัดเจนชนิดโดยอัตโนมัติ นอกจากนี้ การใช้อัลกอริทึมนี้ช่วยให้มั่นใจความปลอดภัย — มีหลักฐานอย่างเป็นทางการว่า โปรแกรม ML well-typed ไม่ทำให้รันไทม์ข้อผิดพลาดชนิด

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

โรงแรมเป็นที่รู้จักสำหรับการใช้งานของอัลกอริธึมลงความเห็นได้พิมพ์ hindley-milner ซึ่งสามารถลงความเห็นได้ทุก ประเภท ที่ใช้นิพจน์ของมากที่สุดโดยไม่ต้องใช้มีหมายเหตุประกอบแบบพิมพ์อย่างชัดเจนโดยอัตโนมัติ นอกจากนี้การใช้อัลกอริธึมนี้ทำให้มั่นใจได้ว่า ประเภท ความ ปลอดภัย - มีหลักฐานอย่างเป็นทางการที่โปรแกรมมล.เป็นอย่างดี - พิมพ์ที่ไม่ได้เป็นสาเหตุให้เกิดความผิดพลาดขณะพิมพ์.