A language is typed if the specific

A language is typed if the specification of every operation defines types of data to which the operation is applicable, with the implication that it is not applicable to other types.[28] For example, the data represented by "this text between the quotes" is a string. In most programming languages, dividing a number by a string has no meaning; most modern programming languages will therefore reject any program attempting to perform such an operation. In some languages the meaningless operation will be detected when the program is compiled ("static" type checking), and rejected by the compiler; while in others, it will be detected when the program is run ("dynamic" type checking), resulting in a run-time exception.

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

ภาษาที่พิมพ์ถ้าคุณสมบัติของการดำเนินการทุกกำหนดชนิดของข้อมูลที่ดำเนินการจะบังคับใช้กับความหมายที่ว่ามันไม่สามารถใช้ได้กับประเภทอื่น ๆ . [28] ตัวอย่างเช่นข้อมูลที่แสดงโดย "ข้อความที่อยู่ระหว่างคำพูดนี้" สตริงคือ มากที่สุดในการเขียนโปรแกรมภาษาหารจำนวนสตริงโดยไม่มีความหมาย;ที่ทันสมัย​​ที่สุดภาษาโปรแกรมจึงจะปฏิเสธโปรแกรมพยายามที่จะดำเนินการดังกล่าวการดำเนินการใด ๆ ในบางภาษาการดำเนินการที่ไม่มีความหมายจะถูกตรวจพบเมื่อโปรแกรมถูกคอมไพล์ ("คงที่" การตรวจสอบประเภท) และปฏิเสธโดยคอมไ​​พเลอร์; ในขณะที่คนอื่น ๆ ก็จะถูกตรวจพบเมื่อมีการรันโปรแกรม ("พลัง" การตรวจสอบชนิด) ส่งผลให้ ในข้อยกเว้นเวลาทำงาน

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

พิมพ์ภาษาถ้าสเปคทุกการกำหนดชนิดของข้อมูลซึ่งการดำเนินงานเป็น ด้วยเนื่องจากว่า ไม่สามารถใช้ได้กับชนิดอื่น ๆ[28] ตัวอย่าง ข้อมูลที่แสดง โดย "ข้อความนี้ระหว่างใบเสนอราคา" เป็นสายอักขระ ในภาษาโปรแกรมส่วนใหญ่ ในการหารตัวเลข ด้วยสตริงที่มีความหมายไม่ ภาษาเขียนโปรแกรมน่าจะดังนั้นปฏิเสธโปรแกรมพยายามทำการดำเนินการ ในบาง การดำเนินงานต่าง ๆ จะไม่พบเมื่อโปรแกรมคอมไพล์ (ชนิด "คง" ตรวจสอบ), และปฏิเสธ โดยคอมไพเลอร์ ในอื่น ๆ มันจะไม่พบเมื่อโปรแกรมรัน (ชนิด "ไดนามิก" ตรวจสอบ), เกิดเป็นข้อยกเว้นขณะทำงาน

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

ภาษา ที่มีพิมพ์หากข้อมูลจำเพาะของการทำงานทุกครั้งจะกำหนด ประเภท ของข้อมูลที่การทำงานจะมีผลบังคับใช้กับการบอกเป็นนัยว่าไม่สามารถใช้กับ ประเภท อื่นๆ.[ 28 ]เพื่อยกตัวอย่างเช่นข้อมูลที่แสดงโดย"ข้อความนี้ระหว่างการเสนอราคา"เป็นสตริงที่ การตั้งโปรแกรมใน ภาษา มากที่สุดโดยแบ่งจำนวนที่สตริงที่ไม่มีความหมายภาษา การเขียนโปรแกรมที่ทันสมัยมากที่สุดจะปฏิเสธโปรแกรมใดๆกำลังพยายามในการดำเนินการดังกล่าวดังนั้น ในบาง ภาษา การทำงานไม่มีความหมายอะไรที่จะได้รับการตรวจพบเมื่อโปรแกรมที่จะรวบรวม(“ไฟฟ้าสถิตย์"ตรวจสอบการพิมพ์)และถูกปฏิเสธโดยคอมไพเลอร์ในขณะที่อยู่ในที่อื่นจะได้รับการตรวจพบเมื่อมีการเรียกใช้โปรแกรม("แบบไดนามิก"การตรวจสอบ ประเภท )ได้ส่งผลให้ยกเว้นเวลาใช้งานได้