摘要：
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_4.html类型是根据名称区分的。任何整数子区间类型的表达式都是合法的，一个整数表达式也是合法的（虽然这样做可能会导致运行时错误）。布尔类型和整数表达式是不兼容的。（上边的第二句话原文为：Expressions of any integer subrange typeare legal wherever an integer expression is legal）在变量初始化之前使用变量是错误的，这个错误会在运行时检测。所有的运行时错误都是由验证器检测的。越界使用数组也是错误的，同样，这个 阅读全文
摘要：
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_3.html1. 常量，类型和变量的定义定义具有如下的语法： ::= const { ; } | type { ; } | var { ; }常量定义： ::= : 常量定义中的必须有一个在编译的时候可以确定的值。类型定义： ::= : ::= -- a previously defined type. ::= .. -- In... 阅读全文