Type Theory Forall

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber


Listen Later

Mike Sperber is the CEO of Active Group, a company designed for Counseling, Development and Training in functional programming. He is a co-organizer of Bob Konf and FunArch, the Co-founder of the leading german blog on functional programming. Member of the Editorial Board of the JFP. Part of the R6RS, the 6th revised report on the Algorithmic Language Scheme.

In our conversation we talk about C, Lisp, Emacs Lisp, Scheme and his involvement with the R6RS. His views on mathematics and formal methods as languages, his views on the use of Functional Programming in the Industry, his thoughts of how Object Oriented Programming is dead. Macros, hygienic macros and much more!

We also talk about BobKonf and FunArch as amazing confereces on Functional Programming and their design and archtechture. BobKonf currently has a call for talks open and goes until november 17th.

Consider supporting the show!

  • TTFA Patreon
  • One time donations
  • Merch Store
  • Links
    • Mike's Website
    • Bob Konf
    • FunArch
    • Functional Programming Blog
    • TTFA Graduate Mentorship

      ...more
      View all episodesView all episodes
      Download on the App Store

      Type Theory ForallBy Pedro Abreu

      • 4.8
      • 4.8
      • 4.8
      • 4.8
      • 4.8

      4.8

      13 ratings


      More shows like Type Theory Forall

      View all
      Hanselminutes with Scott Hanselman by Scott Hanselman

      Hanselminutes with Scott Hanselman

      383 Listeners

      The Quanta Podcast by Quanta Magazine

      The Quanta Podcast

      530 Listeners

      ChinaTalk by Jordan Schneider

      ChinaTalk

      288 Listeners

      CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

      CoRecursive: Coding Stories

      190 Listeners

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

      4,175 Listeners

      Iowa Type Theory Commute by Aaron Stump

      Iowa Type Theory Commute

      19 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      505 Listeners

      Signals and Threads by Jane Street

      Signals and Threads

      72 Listeners

      The Haskell Interlude by Haskell Podcast

      The Haskell Interlude

      13 Listeners

      Software Unscripted by Richard Feldman

      Software Unscripted

      29 Listeners

      The Rest Is Politics by Goalhanger

      The Rest Is Politics

      3,070 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      63 Listeners

      The Rest Is Money by Goalhanger

      The Rest Is Money

      182 Listeners

      BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

      BG2Pod with Brad Gerstner and Bill Gurley

      474 Listeners