The Importance of Testing in Programming

Tomas placed the start of his journey in high school, where he was part of a group of friends interested in computers. His interest in "understanding what's under the hood" ignited there. He explained how working in the open, publishing small open-source components got him to "professional development" alongside his university studies. Then we talked about how his interest in transpiling C# to Javascript (before transpiling to JS was cool) led him to F#, which led him to a working relationship with Don Syme (designer of F#), which led him to Cambridge University, etc. We talked about his Ph.D. around context-dependent programming languages and coeffects. We ended on science philosophy, debugging & testing, and how languages are taught nowadays at university.

Here are the links from the show

• https://www.twitter.com/tomaspetricek
• https://tomasp.net/
• https://www.linkedin.com/in/tomaspetricek/
• https://tomasp.net/coeffects/
• https://tomasp.net/techdims/
• http://fsharpconf.com/
• https://datascienceinfsharp.com/

Credits

• Cover Legends by HoliznaCC0 is licensed CC0 1.0 Universal License.
• Your host is Timothée (Tim) Bourguignon; more about him at timbourguignon.fr.
• Gift the podcast a rating on one of the significant platforms https://devjourney.info/subscribe

Support the show