-if all type bindings are static,ne

-if all type bindings are static,nearly all type checking can be static.
-if type bindings are dynamic,type checking must be dynamic.
-a programming language is strongly typed if type errors are always detected.

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

-ถ้าทุกชนิดรวมจะคงที่ ชนิดตรวจสอบเกือบทั้งหมดจะคงได้-ถ้ารวมชนิดไดนามิก ชนิดตรวจสอบต้องเป็นแบบไดนามิก-การเขียนโปรแกรมภาษาเป็นอย่างยิ่งพิมพ์หากตรวจพบข้อผิดพลาดชนิดเสมอ

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

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

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

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