Homegrown #Scala Collections - Part 11 - Higher-Kinded Types
In this video we will learn about higher-kinded types which resemble higher-order functions but whereas higher-order functions act on values, higher-kinded types act on types.
The code for the entire project is here:
https://github.com/DevInsideYou/homegrown-collections
The commit from this video is here:
https://github.com/DevInsideYou/homegrown-collections/commit/589cfaeec2c069a2b1e1f2f785f6d2e3ea9d0f88
The cheat sheet is here:
https://github.com/DevInsideYou/learning-resources/blob/master/Cheat%20Sheet%20-%20Higher-Kinded%20Types.scala
Good blog post about Higher-Kinded Types:
https://medium.com/bigpanda-engineering/understanding-f-in-scala-4bec5996761f
Good summary of Functional Programming vocabulary is here:
https://gist.github.com/jdegoes/97459c0045f373f4eaf126998d8f65dc#higher-kinded-types
Good blog post about F-Bounded Polymorphism:
https://tpolecat.github.io/2015/04/29/f-bounds.html
The type system paper "Girard's System F" is here:
https://people.mpi-sws.org/~skilpat/plerg/papers/harper-system-f-2up.pdf
This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x-4bTASKbtwhhAuP6rYQJqE
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Telegram: https://telegram.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
GitHub: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#HigherKinds #tutorial