Category Theory for the Non-PhD – and What to Use It For

Category theory may strike you as intimidating, but trust us, you
can (and after this episode, are probably itching to) talk
applicative functors and parser combinators over afterwork
drinks. Listen in to learn why Esko and Antti – both of whom
started programming with dynamically typed languages – are so
into category theory right now that they see applications of it
everywhere.
Guest

Antti Holvikari is endlessly fascinated by pure
functional programming languages such as Haskell and PureScript.
Software quality and personal productivity are two things he’s
constantly improving.
Host

Esko Lahti is an engineer who always wanted to
learn about category theory in practice – but never knew where to
start. Then he met Antti Holvikari.
Episode links

PureScript: https://www.purescript.org/

Parser Combinators, a Walkthrough:
https://hasura.io/blog/parser-combinators-walkthrough/

fp-ts: https://github.com/gcanti/fp-ts

io-ts: https://github.com/gcanti/io-ts

Algebraic Data Types:
https://dev.to/gcanti/functional-design-algebraic-data-types-36kf

Discriminated Unions in TypeScript:
https://basarat.gitbook.io/typescript/type-system/discriminated-unions

Maybe Not, a talk by Rich Hickey:
https://youtu.be/YR5WdGrpoug

About Reaktor

Fork Pull Merge Push is a podcast by Reaktor, a strategy, design
and technology company changing how the world works. Reaktor has
offices in New York, Amsterdam, Stockholm, Tokyo, Helsinki, Turku
and Tampere.


Check out our newest tech hub in Lisbon!
https://www.reaktor.com/lisbon/


Reaktor is always on the lookout for bright software developers
to work in health, security, emerging technologies, and much
more. See www.reaktor.com/careers.


@ReaktorNow
#FPMPod