Functional Programming – 26: Type Class

In this video we will learn about Polymorphism and how to implement ad-hoc Polymorphism using Type Classes. Type Class is a tool that lets us to group and classify types and type constructors based on the behaviors they exhibit. We will look into some examples of Type Class instances, and explore how Type Classes look in different Functional Languages. Although that TypeScript doesn’t support higher-kinded types natively, we will explore how libraries like fp-ts mimic them in TypeScript.

In this video:
– Parametric Polymorphism
– Ad-hoc Polymorphism
– Type Class
– Type Classes and Higher-kinded types in TypeScript using fp-ts