Anish George
UI Developer
ThoughtWorks
location_on India
Member since 1 year
Share
Anish George
Specialises In
Frontend Engineer and Programming enthusiast currently working at ThoughtWorks (Pune). Outside software, I spend time playing my guitar, reading or travelling
-
keyboard_arrow_down
Demystifying Function Sub-typing
20 Mins
Talk
Intermediate
What is a Type for a function? When can you say that a function is a sub-type of another function? Why should you even bother?
Function sub-typing is one of the most confusing areas of FP. In this talk, I'll take a deep dive and explain the core concepts of function types which applies to many different languages. More than just explaining the mere rules, I will be deriving those rules in a step-by-step fashion till the eureka moment so that you will never be confused again.
The topics covered:
- Sub-typing basics
- Covariance & Contravariance
- Function sub-typing
- Implementation gotchas in different languages (Java, Scala, Haskell, JavaScript)
-
No more submissions exist.