Abstraction and Learning with Runar Bjarnason

49:29
 
Share
 

Manage episode 229322636 series 1968040
By Discovered by Player FM and our community — copyright is owned by the publisher, not Player FM, and audio streamed directly from their servers.

What is abstraction? Can we have a precise definition of abstraction that, once understood, makes writing software simpler? Runar has thought a lot about abstraction and how we can choose the proper level of abstraction for the software we write. In this interview, he explains these concepts using examples from the real world, from SQL, from effectful computing and many other areas.

We also talk about how to learn and acquire the skills necessary to understand abstract concepts like very polymorphic code and category theory.

Runar also explains his latest project unison computing and how it uses the correct level of abstraction to rethink several foundation ideas in software development.

Links:

Webpage for show

29 episodes available. A new episode about every 16 days averaging 57 mins duration .