A type class is a type system construct in computer science that allows for ad hoc polymorphism by adding constraints to type variables. These constraints involve a type class and a type variable, ensuring that the variable can only be instantiated to a type that supports the operations associated with the type class. Type classes were first implemented in Haskell as a way to implement overloaded arithmetic and equality operators without extensive modifications to the compiler or type system.
UC San Diego
Winter 2017
UC San Diego's CSE 130 provides an overview of basic concepts and design trade-offs related to programming languages. The course covers a wide range of topics like scope, storage management, exceptions, and concurrency, through practical implementation.
No concepts data
+ 17 more concepts