MENGENAI EPISOD INI
Going deeper down the category theory rabbit hole, we explore one of the most common and useful abstractions in the functional programming world. You're likely already familiar with Functors but just didn't know it yet.
Episode 16 patrons:
Chris Krycho
Tyler Harper
George Webster
Show Notes:
Functor
map :: (a -> b) -> f a -> f b
Bifunctor
bimap :: (a -> b) -> (c -> d) -> f a c -> f b d
Profunctor
dimap :: (a -> b) -> (c -> d) -> f b c -> f a d
Phil Freeman's talk on Profunctors: https://www.youtube.com/watch?v=OJtGECfksds
Episode 16 patrons:
Chris Krycho
Tyler Harper
George Webster
Show Notes:
Functor
map :: (a -> b) -> f a -> f b
Bifunctor
bimap :: (a -> b) -> (c -> d) -> f a c -> f b d
Profunctor
dimap :: (a -> b) -> (c -> d) -> f b c -> f a d
Phil Freeman's talk on Profunctors: https://www.youtube.com/watch?v=OJtGECfksds
Bahasa Inggeris
Amerika Syarikat
TRANSKRIP 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
EPISOD LAIN DALAM PODCAST INI
Abstraction takes on a different meaning amongst functional programmers. This episode we dig into how parametric polymorphism is an essential tool in developing well behaved abstractions that transcend simply being a solution to your individual problem.
John Degoes polymorphism post
http://dego ...
Partial application and currying are a feature that is often mysterious to the uninitiated. Why do functional programmers care about such a seemingly useless thing? Partial application is an important part of the "FP toolkit" and we'll why and provide use cases for the importance of having parti ...
Oh category theory, bastion of strange and wonderful terminology, (some might say terrible and inaccessible). Love it or hate it, you're likely to run into some terms from category theory if you spend enough time in FP land. In this episode we'll tackle some of the terms that make up the 'ism fa ...
To write a program is to deal with uncertainty. Sometimes it feels like there's nothing we can count on and null (or undefined) is as pervasive as any other construct in our languages. However this does not have to be! LambdaCast dives into the thorny problem of null, and more broadly the potent ...
Algebraic Data Types (ADTs) are one of the most distinguishing features of statically typed functional languages. Come learn why they exist, how you can use them, and how they change your design.
Join the FP community at http://fpchat.com
Support us on Patreon at http://www.patreon.com/lambdac ...
Penafian: Podcast dan karya seni yang dibenamkan pada halaman ini adalah daripada LambdaCast, yang merupakan hak milik pemiliknya dan tidak bergabung dengan atau disokong oleh Listen Notes, Inc.
SUNTING
Terima kasih kerana membantu memastikan pangkalan data podcast dalam keadaan terkini.
