Home
Categories
EXPLORE
True Crime
Comedy
Society & Culture
Business
Sports
History
Music
About Us
Contact Us
Copyright
© 2024 PodJoint
00:00 / 00:00
Sign in

or

Don't have an account?
Sign up
Forgot password
https://is1-ssl.mzstatic.com/image/thumb/Podcasts116/v4/90/bf/e9/90bfe928-e60b-d3ae-1a9b-d8675ebf6fb1/mza_2008178507985519125.jpg/600x600bb.jpg
Functional Futures
Serokell
12 episodes
6 days ago
Functional Futures is a podcast where we interview people that are building the future of functional programming. From compiler developers juggling parsers, lexers, and type theory to software developers working on industry-grade libraries and codebases, we have something for the taste of every FP enthusiast out there.
Show more...
Science
RSS
All content for Functional Futures is the property of Serokell and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Functional Futures is a podcast where we interview people that are building the future of functional programming. From compiler developers juggling parsers, lexers, and type theory to software developers working on industry-grade libraries and codebases, we have something for the taste of every FP enthusiast out there.
Show more...
Science
https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/20555440/20555440-1642688904194-930fe19d36731.jpg
Across the Kmettverse with Edward Kmett
Functional Futures
1 hour 33 minutes 34 seconds
3 years ago
Across the Kmettverse with Edward Kmett

In this month’s episode of Functional Futures, our guest is Edward Kmett – Head of Software Engineering at Groq and the author of many widely-used Haskell libraries.  In the episode, we talk about his life story – how he got from being broke and in debt to learning category theory and authoring numerous Haskell libraries. We also talk about programming languages and projects beyond Haskell that make Edward excited right now.  
Get FP merch that doesn't suck. 👇
https://shop.serokell.io/

Follow on social media:
https://twitter.com/kmett
https://twitter.com/serokell

Some items we talked about:  
https://hackage.haskell.org/package/lens
https://topos.institute/
https://intelligence.org/
https://groq.com/
https://github.com/leanprover/lean4
http://www.ats-lang.org/
https://github.com/ekmett/coda
https://github.com/ekmett/cadenza
https://github.com/enso-org/enso

Talks we mention:  
Stop Treading Water – https://www.youtube.com/watch?v=Z8KcCU-p8QA
Type Classes vs. the World – https://www.youtube.com/watch?v=hIZxTQP1ifo&t=521s
Learn more about us: https://serokell.io/

Functional Futures
Functional Futures is a podcast where we interview people that are building the future of functional programming. From compiler developers juggling parsers, lexers, and type theory to software developers working on industry-grade libraries and codebases, we have something for the taste of every FP enthusiast out there.