Explain the value of the restrict qualifier in C. What is overloading? How does it differ from coercion and polymorphism? What are type classes in Haskell? What purpose do they serve? Describe the...

Explain the value of the restrict qualifier in C. What is overloading? How does it differ from coercion and polymorphism? What are type classes in Haskell? What purpose do they serve? Describe the difference between deep and shallow binding of referencing environments. Why are binding rules particularly important for languages with dynamic scoping?