Answer 1

they are a possibility to do generic programming. you can give a type as a parameter and the compiler generates the corresponding classes and functions for your specific type. Thus it is a way to reduce duplication of code.
(I know that is only a part of the story.)