摘要： What is a type ?a type is a name for a colletion of related values.for example , in haskell the basic typeBoolcontains the two logical values:False True----all type errors are found at compile time , which makes programs safer and faster by removing the need for type checks at run time.----List Type 阅读全文