3强类型语言 若一个语言允许所有的类型静态检查 4 Pascal是非强类型语言 编不熊确定个过程中的过程参 procedure who knows(i, j: integer procedure f) var k boolean begin k: =j< if k then f(k)else f( end3.强类型语言 若一个语言允许所有的类型静态检查 4. Pascal是非强类型语言 ①编译时,不能确定一个过程中的过程参 数和子程序参数类型 procedure who_knows(i,j:integer;procedure f); var k:boolean; begin k:=j<i; if k then f(k) else f(j) end;