Home
Categories
EXPLORE
True Crime
Comedy
Society & Culture
Business
Sports
TV & Film
Technology
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/Podcasts221/v4/33/21/81/332181d3-756f-71bb-c937-df94af872666/mza_4456431535344055338.jpg/600x600bb.jpg
The Haskell Interlude
Haskell Podcast
74 episodes
1 week ago
In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.
Show more...
Technology
RSS
All content for The Haskell Interlude is the property of Haskell Podcast 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.
In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.
Show more...
Technology
https://is1-ssl.mzstatic.com/image/thumb/Podcasts221/v4/33/21/81/332181d3-756f-71bb-c937-df94af872666/mza_4456431535344055338.jpg/600x600bb.jpg
54: Dominic Orchard
The Haskell Interlude
49 minutes
1 year ago
54: Dominic Orchard
In this episode, Wouter and Sam interview Dominic Orchard. Dominic has many roles, including: senior lecturer at the University of Kent, co-director of the Institute of Computing for Climate Science, and bye-fellow of Queen’s College in Cambridge. We will not only discuss his work on Granule - graded monads, coeffects, and linear types - but also his collaboration with actual scientists to improve the languages with which they work.
The Haskell Interlude
In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.