Free Monoidal Functors - Bartosz Milewski


Details
In functional programming we neatly organize data into algebraic data types and use functors to create parameterized types. Of special interest are functors that are compatible with the algebra of types. Applicative functors, also known as lax monoidal functors, are compatible with the monoidal part of this algebra. Lists, which are free monoids, can be considered skeletons for interpreters, which we call folds. Free monoidal functors are skeletons for effectful interpreters.
Bartosz's blog: https://bartoszmilewski.com/
Talk will be recorded and posted on our Youtube channel:
https://www.youtube.com/channel/UCZ9Qv0y5IS-0DsN4ZDTDyqA
If you can't come in person - do not worry - you can join the video-conference!
https://primetime.bluejeans.com/a2m/live-event/yjgxutuw
You will have an opportunity to chat with other attendees and ask your questions to a speaker!
Hosted by Expedia Group, Inc.
"We are the World’s Travel Platform. Bringing the world within reach"
Expedia Group is hiring (see https://lifeatexpedia.com)

Free Monoidal Functors - Bartosz Milewski