Monads 1
Sign in to YouTube
Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like TheCatsters's video.
Sign in to YouTube
Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike TheCatsters's video.
Sign in to YouTube
Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add TheCatsters's video to your playlist.
Uploaded on Sep 13, 2007
An introduction to monads including the definition and a look at the monoid monad.
-
Category
-
License
Standard YouTube License
Loading...
Loading...
Loading...
The interactive transcript could not be loaded.
Loading...
Loading...
Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Loading...
-
2:02
Bjarne Stroustrup: The 5 Programming Languages You Need to Knowby Big ThinkFeatured
142,560
-
1:07:11
Brian Beckman: Don't fear the Monadby jasonofthel33t's channel
10,581 views
-
8:13
Monads 2by TheCatsters
10,687 views
-
1:19:12
Why Do Monads Matter?by LondonHaskell
4,907 views
-
39:24
A monad is not a burritoby Logan Campbell
3,030 views
-
56:27
18- Haskell course 21/Nov/2011 IO and Monads 1by العترة الطاهرة
3,265 views
-
9:37
Natural transformations 1by TheCatsters
8,778 views
-
56:23
Tangible Functional Programmingby Google Tech Talks
41,611 views
-
49:48
Monads and Gonadsby Google Tech Talks
19,379 views
-
10:06
Metric spaces and enriched categories 3by TheCatsters
5,681 views
-
53:04
Introduction to Category Theory 3: Basic Constructions and Ideasby error792
1,672 views
-
3:20
Berkeley Ring Theorist Solves 48 ÷ 2(9+3)by thirtysix
49,767 views
-
57:13
Haskell Amuse-Boucheby Google Tech Talks
29,739 views
-
1:19:57
Simon Peyton Jones: Data Parallel Haskellby Association for Computing Machinery
19,679 views
-
9:54
Terminal and initial objects 1by TheCatsters
7,094 views
-
15:00
(1/6) I. Data Driven Programming in Haskell Screencastby Coding Uncut
10,560 views
-
10:00
Metric spaces and enriched categories 1by TheCatsters
7,750 views
-
9:53
Group objects and Hopf algebras 1by TheCatsters
4,872 views
-
9:52
Representables and Yoneda 1by TheCatsters
4,597 views
-
54:27
Douglas Crockford: Monads and Gonads (YUIConf Evening Keynote)by YUI Theater
16,005 views
- Loading more suggestions...
Uploader Comments (TheCatsters)
TheCatsters 5 years ago
Thanks crowlogic and tehrba. I think you each have a point...I've heard that some non-native English speakers were having some trouble so I'll experiment with speaking a little more slowly. Just a little...
Sign in to YouTube
Sign in to YouTube
Top Comments
entropyfails 5 years ago
A note for Haskell programmers....
η is the mentioned Eta and is the Monadic equivalent of the Haskell "return" function.
μ is the mentioned Mu and is the Monadic equivalent of the "join" operator.
"map" comes for free in Category Theory. So the Haskell bind operator of ">>=" over a list type is x >>= f = join (map f x)
These videos show why the Monad typeclasses must obey the three laws.
1. return a >>= f = f a
2. m >>= return = m
3. (m >>= f) >>= g = m >>= (\x -> f x >>= g)
Sign in to YouTube
Sign in to YouTube
chocojian 5 years ago
YouTube lectures on category theory! Awesome! I hope more mathematicians follow your example in the future. This is a great idea.
Sign in to YouTube
Sign in to YouTube
All Comments (11)
TheCatsters 3 years ago
Thanks!
Sign in to YouTube
Sign in to YouTube
targetrich 3 years ago
phew. Get out, have a drink. read some greek philosophy!
Sign in to YouTube
Sign in to YouTube
skip84 5 years ago
I feel dumb...
Sign in to YouTube
Sign in to YouTube
balodja 5 years ago
Oh, on-line school :) That's awesome.
Sign in to YouTube
Sign in to YouTube