由于「范畴语法支派繁多，以下仅介绍其某个重要支派「类型-逻辑语法(Type-Logical Grammar)(以Carpenter (1997)为代表)的内容。
基于4个网页-相关网页
类型逻辑语法 Type Logical Grammar
类型-逻辑语法
Type - Logical Syntax
以上为机器翻译结果，长、整句建议使用 人工翻译 。
最严重类型的编程错误是程序在语法上正确但无论如何却导致错误结果的产生或者根本无法产生结果。 这种因为逻辑错误无法正确解决问题的错误类型，称为Bug。
The most serious type of programming error is one that is syntactically correct but that
youdao
应用推荐
模块上移
模块下移
不移动