Copyright © 2019 Jasdev Singh. Some rights reserved.
A diary of notes on category theory and functional (reactive) programming—this is an attempt to learn in public, so, if there are typos or mistakes (there definitely will be), please reach out.
Here’s an RSS feed, for the nerds. <3
Why applicatives are monoidal
Type erasure and forgetful functors
Co-, contra-, and invariance
What makes natural transformations, natural?
“Oh, the morphisms you’ll see!”
Getting an intuition around why we can call contramap a pullback
ObservableType.do or .subscribe (Publisher.handleEvents or .sink)?