Programming language FOPL is a hybrid language which supports functional programming style and object-oriented programming style. In this paper, the type concepts of FOPL are presented. Also, the rules for purity judgement of expressions, typing expressions and equivalence judgement of expressions are discussed. These rules describe the semantics of FOPL on equational logic.