18 subscribers
התחל במצב לא מקוון עם האפליקציה Player FM !
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 פרקים
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 פרקים
כל הפרקים
×
1 Why Diversity, Equity, and Inclusion in Tech is More Important Than Ever 46:22

1 Future of Work. Making Sense of the AI Hype 37:53

1 Make Your Team Click: The Fundamentals of Agile 42:09

1 Is Software Development Becoming Obsolete? 53:59

1 Truth over convenience. The data analytics episode 34:16

1 Solve it like an admin. Why it's important to ask 'why'? 36:40

1 Learning by Teaching. Embracing Continuous Learning as a Developer 44:14

1 Code it Aside: How to Plan, Launch, and Promote your Side-Project 40:41

1 Let's Map This Out! Working with GIS and OpenStreetmap Data 22:47

1 Curiosity Drive or Why I Moved from the US to Finland 49:04

1 Do You Really Need Artificial Intelligence in Your Software? 33:37

1 Code and Emotion. Why Anthropology is Important for Creating Good Digital Products 34:32

1 Deep dive into advanced TypeScript 52:44

1 Clojure and Its Superpower, The REPL 48:54

1 Category Theory for the Non-PhD – and What to Use It For 37:52

1 Finding the Corner of the Internet You Love with Amsterdam Hackers 45:29

1 The Promise of Tasks: Concurrency in a Single Threaded World 32:51

1 Time to Ditch the Boilerplate: Safe, Fast and Easy Data Manipulation with Statically Typed Optics 32:35

1 GraphQL is the God Mode of Web Development 53:11

1 Will Harmaja be the React Killer we've been waiting for? 27:56
ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.