Advanced Functional Programming TutorialsEnglish | 2500kbps 1280x720 WMV3 | MP3 96kbps 48000 Hz | 3.7 GB
Genre: eLearning
Description:1. The Expression Problem" The Expression Problem is a new name for an old problem. The goal is to define a datatype by cases, where one can add new cases to the datatype and new functions over the datatype, without recompiling existing code, and while retaining static type safety (e.g., no casts)." - Philip Wadler2. Type Classes In this second lecture in the series, Ralf digs into Type Classes, which are type system constructs that were originally introduced to provide a form of ad hoc olymorphism (i.e., an advanced form of overloading).
Type classes amount to an intriguing element of the Haskell language, which is, for example, evident in their ability to solve the Expression Problem (make sure you watch Ralf's first lecture on this subject). Furthermore, type classes directly relate to the interface notion of mainstream OO programming, adding important expressiveness to C#/Java-like interfaces.