1. A method for supporting context-dependent expression compilation in a programming language environment operating on one or more microprocessors, comprising: providing a context object that operates to compile an expression in a programming context; deriving, via the context object, a target type associated with the expression, wherein the target type associated with the expression is context-dependent; and performing, via the context object, compatibility check for the expression in the programming language environment.