sTypeInference: Inference of sTypes
In rgp: R genetic programming framework

Description Usage Arguments Details See Also

RGP internally infers the sTypes of compound expressions like function applications and function definitions from the sTypes of atomic expressions. The sTypes of building blocks are defined by the user via the %::% operator and are stored in the package-internal global variable rgpSTypeEnvironment. sType calculates the sType of the R expression x. sTypeq quotes its argument x before calling sType. SType inference of function definitions relies on a typed stack of formal arguments of getSTypeFromFormalsStack and setSTypeOnFormalsStack get or set the sType of a formal argument x and a formalsStack, respectively.

sType(x, typeEnvir = rgpSTypeEnvironment, returnNullOnFailure = FALSE)

configureSTypeInference(constantSTypeFunction = NA)

calculateSTypeRecursive(x, typeEnvir = rgpSTypeEnvironment,
  formalsStack = list(), returnNullOnFailure = FALSE)

sTypeq(x, typeEnvir = rgpSTypeEnvironment, returnNullOnFailure = FALSE)

getSTypeFromFormalsStack(x, formalsStack)

setSTypeOnFormalsStack(x, value, formalsStack)

hasStype(x)

x %::% value

`x`	The object to operate on.
`value`	An sType.
`typeEnvir`	The type environment, containing user-supplied sTypes of building blocks.
`formalsStack`	A stack of formal arguments with their sTypes.
`returnNullOnFailure`	Return NULL on failure instead of stopping, defaults to FALSE.
`constantSTypeFunction`	A function of one parameter to be used to calculate constant types. If set to `NA` (the default), types of constants are named after the constant's R class.