language:en;Repo: https://github.com/input-output-hk/haskell-course Playlist: https://youtube.com/playlist?list=PLNEK_Ejlx3x1D9Vq5kqeC3ZDEP7in4dqb Canvas: https://iohk.instructure.com/enroll/3BAAGG Proving Monoid (and Semigroup) laws: https://www.youtube.com/live/V7673JaWXaA?si=tJGxBbmOh6j__rtq&t=715 Outline: 0:00 - Introduction and Outline 0:46 - What does it mean to abstract a pattern? 2:48 - Why abstracting patterns (in general)? 3:58 - Teaser: Why abstracting Semigroup and Monoid? 4:44 - The Semigroup type class 18:24 - The Monoid type class 28:46 - What can I do with Semigroup and Monoid?;Science & Technology
Book Details
...
Download learning
video(s) to your Internet-in-a-Box
Description:
language:en;Repo: https://github.com/input-output-hk/haskell-course Playlist: https://youtube.com/playlist?list=PLNEK_Ejlx3x1D9Vq5kqeC3ZDEP7in4dqb Canvas: https://iohk.instructure.com/enroll/3BAAGG Proving Monoid (and Semigroup) laws: https://www.youtube.com/live/V7673JaWXaA?si=tJGxBbmOh6j__rtq&t=715 Outline: 0:00 - Introduction and Outline 0:46 - What does it mean to abstract a pattern? 2:48 - Why abstracting patterns (in general)? 3:58 - Teaser: Why abstracting Semigroup and Monoid? 4:44 - The Semigroup type class 18:24 - The Monoid type class 28:46 - What can I do with Semigroup and Monoid?;Science & Technology