Functional Futures

Serokell

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.

Episódios

  1. 29/10/2024

    Haskell in Mercury with Max Tagher

    Our guest is Max Tagher, the co-founder and CTO of Mercury, the fintech startups use for banking* and all their financial workflows. Mercury has been using Haskell from the start of the company, from scratch. And our conversation will be dedicated to that. *Mercury is a financial technology company, not a bank. Banking services provided by Choice Financial Group, Column N.A., and Evolve Bank & Trust, Members FDIC Text version Mercury LinkedIn Mercury X Mercury YouTube Max X Max LinkedIn

    51min

  2. 15/09/2022

    Dependent Types with David Christiansen

    In this month’s episode of Functional Futures, our guest is David Christiansen, the executive director of the Haskell Foundation, a contributor to a number of dependently typed languages, and a dependent type advocate that has managed to introduce many people to the topic today through his work, talks, and texts. In the episode, we cover topics such as dependent types, theorem proving, metaprogramming, and many more. We also discuss the book David co-authored with Daniel P. Friedman, The Little Typer, and his current work in progress: Functional Programming in Lean.   Get FP merch that doesn't suck. 👇 https://shop.serokell.io/ David's books:  The Little Types – https://mitpress.mit.edu/9780262536431/the-little-typer/ Functional Programming in Lean – https://leanprover.github.io/functional_programming_in_lean/ Follow on social media: https://twitter.com/d_christiansen https://twitter.com/serokell Learn more about us: https://serokell.io/

    1h47min

  3. 18/08/2022

    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/

    1h34min

  4. 14/07/2022

    Carp with Erik Svedäng

    Can functional programming be used for game development? Listen to this episode of Functional Futures to find out.    Our guest this time is Erik Svedäng. Erik is a game designer that has designed else Heart.Break(), a programming puzzle video game, and many other board and video games. He is also the creator of Carp, a statically-typed Lisp for real-time applications.    Get FP merch that doesn't suck. 👇 https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/e_svedang Learn more about Carp: https://github.com/carp-lang/Carp Learn more about Erik's game design work:  https://www.eriksvedang.com/ Learn more about us: https://serokell.io/ Contact us: academy@serokell.io

    1h32min

  5. 21/06/2022

    Grain with Oscar Spencer

    In this month’s episode of Functional Futures, our guest is Oscar Spencer – the creator of Grain, a functional programming language for WASM.  In the episode, we cover Grain, WASM, how to sell functional programming to mases, and many other topics.   Get FP merch that doesn't suck. 👇 https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/oscar_spen Learn more about Grain: https://github.com/grain-lang/grain https://discord.com/invite/fhn4n8FrxG Learn more about us: https://serokell.io/ Contact us: academy@serokell.io

    1h11min

  6. 31/05/2022

    Lunatic with Bernard Kolobara

    In this month’s episode of Functional Futures, our guest is Bernard Kolobara – the creator of Lunatic, an Erlang-inspired runtime for WASM.In the episode, we talk about Lunatic, WASM, BEAM (Erlang’s VM), and more. FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/bkolobara Learn more about Lunatic: https://github.com/lunatic-solutions/lunatic https://discord.com/invite/a7ZdjRuabU Learn more about us: https://serokell.io/ Contact us: academy@serokell.io

    1h6min

  7. 15/03/2022

    Live-Coding Rust with Tim McNamara

    In this month’s episode of Functional Futures, our guest is Tim McNamara – author of Rust in Action and a prolific YouTube content creator. During the episode, we live-code in Rust, talk about Rust programming patterns, and discuss Tim's book – Rust in Action. If you want to watch the live-coding session in video format and participate in the giveaway of Rust in Action ebooks, head to our YouTube channel. FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/timClicks Learn more about us: https://serokell.io/ Contact us: academy@serokell.io

    1h21min

  8. 28/01/2022

    Functional Programming and Web3 with Brooklyn Zelenka

    In the first episode of the Functional Futures podcast, our guest is Brooklyn Zelenka, the co-founder & CTO of FISSION, an applied research company developing local-first and user-controlled applications. Brooklyn is also the author of Witchcraft, a library for writing Haskell “fan-fiction” in Elixir. In the episode, we talk about her path towards becoming a developer, functional programming in general, and Witchcraft. We also discuss the good and bad parts of Web3. FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/expede https://twitter.com/FISSIONcodes Learn more about FISSION: https://fission.codes/ https://fission.codes/discord Learn more about us: https://serokell.io/ Contact us: academy@serokell.io

    1h35min

  9. 20/01/2022

    A Portrait of the Language Designer as a Young Man with Louis Pilfold

    As part of the interview series, we interviewed Louis Pilfold, the creator of the Gleam programming language. Gleam is a fast, friendly, and functional language for building type-safe, scalable systems. It runs on BEAM, the same VM that Erlang and Elixir uses. We talked about how humanities can help you become a better software developer, compiler development, Rust, and, of course, Gleam. This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=NP4n89RlNsQ FP merch that doesn't suck: https://shop.serokell.io/ Read highlights on Serokell Blog: https://serokell.io/blog/interview-with-louis-pilfold Follow on social media: https://twitter.com/louispilfold https://twitter.com/podmostom https://twitter.com/serokell Check out Gleam: https://gleam.run/ https://github.com/gleam-lang/gleam https://discord.com/invite/Fm8Pwmy Learn more about us: https://serokell.io/ https://github.com/serokell Contact us: academy@serokell.io

    1h21min

  10. 20/01/2022

    From Whitespace to Idris with Edwin Brady

    As part of our interview series, we interviewed Edwin Brady, the creator of Idris, a dependently-typed programming language.  In the interview, we discussed two of the programming languages Edwin has participated in the creation of: Whitespace and Idris. Edwin also shared some tips and tricks about language creation and talked about the future plans of the Idris language.  This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=_prvbd0e_pI FP merch that doesn't suck: https://shop.serokell.io/ Read highlights on Serokell Blog: https://serokell.io/blog/from-whitespace-to-idris Follow on social media:  https://twitter.com/edwinbrady https://twitter.com/serokell Learn more about us:  https://serokell.io/ Contact us:  academy@serokell.io

    1h8min

  11. 20/01/2022

    Elixir in 2021 with Saša Jurić

    What's the future of Elixir? Listen to the discussion between Saša Jurić, the author of Elixir in Action, and Serokell CAO Jonn Mostovoy to learn their thoughts on Elixir and frameworks like Nx and Nerves. This is an audio version of the discussion. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=me4cANg9RMU FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/sasajuric https://twitter.com/serokell Learn more about us: https://serokell.io Contact us: academy@serokell.io

    1h24min

  12. 20/01/2022

    Past and Present of Haskell with Simon Peyton Jones

    As part of our interview series, we got the fantastic opportunity to interview Simon Peyton Jones, who was a key contributor to the design of Haskell and one of the lead designers of Glasgow Haskell Compiler (GHC). In the interview, we discussed the past, present, and future of Haskell, Haskell’s benefits and downsides, GHC, walking the line between Haskell being a research and industry language, and multiple other topics. This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=4RuLzL_q0zs FP merch that doesn't suck: https://shop.serokell.io/ Read highlights on Serokell Blog: https://serokell.io/blog/past-and-present-of-haskell Follow on social media: https://twitter.com/serokell https://twitter.com/simonpj0 Learn more about us: https://serokell.io/ Contact us: academy@serokell.io

    1h2min
  • 12 episódios

Sobre

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.

Informações

  • Criado por
    Serokell
  • Anos de atividade
    2022 - 2024
  • Episódios
    12
  • Classificação
    Livre
  • Copyright
    © Serokell
  • Site do podcast
    Functional Futures