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 You only need to prove one Functor law: https://www.schoolofhaskell.com/user/edwardk/snippets/fmap Outline: 0:00 - Introduction and Outline 1:13 - Abstracting the map function 6:10 - Abstracting the Functor type class 19:35 - Defining Functor instances 24:30 - Seemingly unintuitive Functor instances: Either a 27:10 - Seemingly unintuitive Functor instances: (;) a 33:12 - Seemingly unintuitive Functor instances: functions 41:18 - Defining the functor operator and lifting a function 46:27 - Functor nesting dolls 49:39 - Extra functions and Functor as defined in base;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 You only need to prove one Functor law: https://www.schoolofhaskell.com/user/edwardk/snippets/fmap Outline: 0:00 - Introduction and Outline 1:13 - Abstracting the map function 6:10 - Abstracting the Functor type class 19:35 - Defining Functor instances 24:30 - Seemingly unintuitive Functor instances: Either a 27:10 - Seemingly unintuitive Functor instances: (;) a 33:12 - Seemingly unintuitive Functor instances: functions 41:18 - Defining the functor operator and lifting a function 46:27 - Functor nesting dolls 49:39 - Extra functions and Functor as defined in base;Science & Technology