Meetup about Type Classes

Topic: Type Classes

Wikipedia defines type class is a type system construct that supports ad hoc polymorphism. Don't worry if this doesn't tell you too much and join us to find out more instead.

Type classes can be thought of as more powerful version of interfaces. If a particular type is a part of a type class, this means that the type supports and implements the behavior the type class describes. This allows us to write algorithms that are extremely generic and reusable. The term 'type class' itself sounds somewhat confusing, even more so as they are not really related to classes as we think of them in object oriented paradigm.

To understand type classes we'll first talk a bit about rich type systems. We'll focus on structural types as opposed to nominal types we usually talk about. This will give us enough background to transition towards type classes. This powerful concept is unfortunately surprisingly unknown in mainstream OOP languages, so join us to learn more about it.

When?

Doors open at 19:30

Talk begins at 20:00

Location

To find us, go through the big metal gate to the left of Adalbertstr. 7, straight to the far end of the courtyard, & in the first tunnel to your right. We are in the 3rd floor.

http://photos3.meetupstatic.com/photos/event/8/4/7/7/600_433893911.jpeg