Across the Kmettverse with Edward Kmett

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 [https://serokell.io/blog/haskell-mercury-functionalfutures] Mercury LinkedIn [https://www.linkedin.com/company/mercuryhq] Mercury X [https://x.com/mercury] Mercury YouTube [https://www.youtube.com/c/mercuryfi] Max X [https://x.com/maxtagher ] Max LinkedIn [https://www.linkedin.com/in/maximilian-tagher-641ba147]

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/ [https://shop.serokell.io/ ] David's books:  The Little Types – https://mitpress.mit.edu/9780262536431/the-little-typer/ [https://mitpress.mit.edu/9780262536431/the-little-typer/] Functional Programming in Lean – https://leanprover.github.io/functional_programming_in_lean/ [https://leanprover.github.io/functional_programming_in_lean/] Follow on social media: https://twitter.com/d_christiansen [https://twitter.com/d_christiansen] https://twitter.com/serokell [https://twitter.com/serokell] Learn more about us: https://serokell.io/ [https://serokell.io/]

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/

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/ [https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbkZITDdEZmJmQVFvZTJIdVRfMHo0SnVUajB3UXxBQ3Jtc0tuT3ZlRkJCRFZEQUxlQnZBeGpvNDZLOXV3TmJhZUhLdXhpcElvQU5oY093MnZXNkY1T053UlJmZFZnbmpGSVBfRUM0QTF0NG1IM1JKWmtwRGhkQkpLajItWlFYSk44UEtIMHdtbWo4Szd6TFF2c0swZw&q=https%3A%2F%2Fshop.serokell.io%2F&v=7qPClP3ssXk] Follow on social media: https://twitter.com/serokell [https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbW54TzBIVVhjb0tWeHBWX2dmNmMxVUw3Yndsd3xBQ3Jtc0trV0JqWXZTOXZVblM0T0FtdVNtN0UzUEF4NVJwM0FGUmRaeUJxVGRXRHZuM2o4VEJZbVRDZTBtaEV6SjJ1WXZsWDA5a3JST0RoZWFCX0JHVDRPZ3RDWU5RS0lRQTJ0cTM4QTQ2dmZKVE00dWNnMG9ISQ&q=https%3A%2F%2Ftwitter.com%2Fserokell&v=7qPClP3ssXk] https://twitter.com/e_svedang [https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbXlqR0hQTXJRLTJiWXlEZzlQYXU4ckFLZHI3QXxBQ3Jtc0ttcUpmOW9RdjBTU2hDbUE3dEVBU21KS0Z1MTBlNVNBeTl1Y05ES1l6d3FBbmUyUGRMbDdtOUhmUWhEWW9faWJoWFd6TlFYVVBkU2N4UWd2OEI5QXhpUlZseVllYWFXUWFlTEdDVXdLZHdKR0lBZWMydw&q=https%3A%2F%2Ftwitter.com%2Fe_svedang&v=7qPClP3ssXk] Learn more about Carp: https://github.com/carp-lang/Carp [https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqa0ZTdUZrXzVhMUJrYi11dDBqUnI3c0VfVWdWUXxBQ3Jtc0ttVWVfdWFpTE5lUDNUbG9TalNCeDNqbVBOTFlTa2NSaV9jb3pQZldJdXBlWlJjQzRydVdNNW9UN2xtTGd4cVpzdUo2U09pamZTTlZMNTZVdGZEQU0ySHdUaUtZVUk0ZFMwYkNMWTBQUVNwN2dlbWUyQQ&q=https%3A%2F%2Fgithub.com%2Fcarp-lang%2FCarp&v=7qPClP3ssXk] Learn more about Erik's game design work:  https://www.eriksvedang.com/ [https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqazRFamtWTVkzREhqbzlsdHJ3Tm5ZOXhLTmE5d3xBQ3Jtc0tsSGJVaXJaSElFT2J0eHRZTHl3OVVOXzlEVl9pREJjZFQza0o4V2hMcE8zZGNSbHBsVGkydUtJYWpiaU1Rek9VNkYxRl9ySndMZHNnR2F0MlZYeWtBM0JrR05lSktXSmEtR0QzOGZqbjRxYXMtWTFaaw&q=https%3A%2F%2Fwww.eriksvedang.com%2F&v=7qPClP3ssXk] Learn more about us: https://serokell.io/ [https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbWgzckVFYll5cFVBSERKVnljZTFlbldYU2hMd3xBQ3Jtc0tuYktPajcwZEdkOUl0SzN2VlpqQ1NzQmxIVFNNanZlc3lxMk1oUHVuOVlmZWxaWjFpcDFPbnJoMGI2akJGVVBGdUFTSjRBWHhoWUNSNEFzVWtWbFJ1dk9TeFdhU29IMGJFN053THNOd3VCVS12Wl9Ubw&q=https%3A%2F%2Fserokell.io%2F&v=7qPClP3ssXk] Contact us: academy@serokell.io

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/ [https://shop.serokell.io/] Follow on social media: https://twitter.com/serokell [https://twitter.com/serokell] https://twitter.com/oscar_spen [https://twitter.com/oscar_spen ] Learn more about Grain: https://github.com/grain-lang/grain [https://github.com/grain-lang/grain ] https://discord.com/invite/fhn4n8FrxG [https://discord.com/invite/fhn4n8FrxG ] Learn more about us: https://serokell.io/ [https://serokell.io/] Contact us: academy@serokell.io