Go offline with the Player FM app!
Category Theory for the Non-PhD – and What to Use It For
Manage episode 290019047 series 2866644
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
20 episodes
Manage episode 290019047 series 2866644
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
20 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.