Types of System?

Types of system relates to the feasibility of a type error being transmitted by a program due to the type of questions and expressions it will accept.