Functional programming, chapter 5: Type-level functions and type classes
First published at 06:24 UTC on March 22nd, 2018.
MORE
Category | None |
Sensitivity | Normal - Content that is suitable for ages 16 and over |
DISCUSS THIS VIDEO
An error has occurred whilst processing your request!
If the issue persists, then please contact us at [email protected].
This advertisement has been selected by the video's creator, .
This advertisement has been selected by BitChute. Displaying these adverts helps support the growth and sustainability of the platform.
This advertisement has been sourced through third-party advertising partners on behalf of BitChute. Displaying these adverts helps support the growth and sustainability of the platform.
For more information on how BitChute processes your data, and to learn how to opt out of advertising, see our Privacy Policy.
Click to copy, then share by pasting into your messages, comments, social media posts and websites.
Click to copy, then add into your webpages so users can view and engage with this video from your site.
We also accept reports via email. Please see the Guidelines Enforcement Process for instructions on how to make a request via email.
We will investigate and take the appropriate action.
Functional programming in the mathematical spirit.
Long and difficult, yet boring explanations given in excruciating detail. Start by reading the slides, go through the worked examples and exercises. Watch the video when you cannot fully understand something in the slides.
Chapter 5. Type-level functions and type classes
Total and partial functions at value level and at type level
GADTs as partial type-to-type functions
Using type evidence values to define partial type-to-value functions (PTVFs)
Type classes understood as PTVFs
Using Scala's implicit value mechanism to define type classes
Examples of type classes: Semigroup, Monoid, Functor
Higher-order type functions; kinds as a "type system for types"
Using Scala's "implicit method" syntax with type classes
Using the Cats library to define type class instances
Using the Scalacheck library to verify type class laws
Worked examples and exercises
Slides: https://github.com/winitzki/talks/blob/master/ftt-fp/05-type-classes.pdf
Code examples: https://github.com/winitzki/scala-examples/blob/master/chapter05/
Category | None |
Sensitivity | Normal - Content that is suitable for ages 16 and over |
Functional programming and declarative programming
5 days, 18 hours ago
What did category theory ever do for us (functional programmers)?
4 years, 5 months ago
Reasoning about types and code: Talk at SF Scala - October 17, 2019
4 years, 6 months ago
Functional programming. Reasoning about types and code (hors série)
4 years, 8 months ago
Summary for: Functional programming, Chapter 10
5 years, 3 months ago
To dismiss this warning and continue to watch the video please click on the button below.
Note - Autoplay has been disabled for this video.