•Generalize the concept of operands

•Generalize the concept of operands and operators to include subprograms and assignments
• Type checking is the activity of ensuring that the operands of an operator are of compatible types
•A compatible type is one that is either legal for the operator, or is allowed under language rules to be implicitly converted, by compiler-generated code, to a legal type –This automatic conversion is called a coercion.
•A type error is the application of an operator to an operand of an inappropriate type

Kết quả (Việt) 1:

•Generalize khái niệm về operands và nhà khai thác để bao gồm các subprograms và bài tập • Loại kiểm tra là hoạt động để đảm bảo rằng operands một nhà điều hành tương thích loại • Một tương thích loại là một trong đó là hoặc pháp lý cho các nhà điều hành, hoặc được cho phép trong ngôn ngữ quy tắc ngầm chuyển, bởi trình biên dịch tạo ra mã, một pháp lý gõ-tự động chuyển đổi này được gọi là ép buộc một. • Một loại lỗi là ứng dụng của một nhà điều hành để một operand một loại không phù hợp

Kết quả (Việt) 2:

• Khái quát các khái niệm về toán hạng và các nhà khai thác bao gồm chương trình con và bài tập
• Loại kiểm tra là công tác bảo đảm rằng các toán hạng của một nhà điều hành là các loại tương thích
• Một loại tương thích được một trong đó là một trong hai pháp lý cho các nhà điều hành, hoặc được phép theo ngôn ngữ quy tắc để được chuyển đổi ngầm, bởi mã trình biên dịch tạo ra, đến một loại hình pháp lý -Đây chuyển đổi tự động được gọi là cưỡng chế.
• một loại lỗi là ứng dụng của một nhà điều hành để một toán hạng của một loại không phù hợp