Type Theory Forall

#17 The Lost Elegance of Computation - Conal Elliott

Listen Later

In this episode I had the pleasure to have an in-depth conversation with Conal

Elliott about his life, his work, his philosophy and his many opinions about
research and the current state of PL Research and how it lead him to come with
the concept of Denotational Design. Conal got his PhD at CMU in the 90s under
Frank Pfenning working on Higher-Order Unification, after that he has devoted
his life on thinking and refining graphic computation and the tools behind it.

Links
  • Conal's website
  • Play/work with Conal
  • Conal's twitter: @conal
  • The simple essence of automatic differentiation
  • Compiling to categories
  • Generic parallel functional programming
  • Denotational design with type class morphisms
  • Functional Images
  • Functional Reactive Animation
  • Alphabet Versus the Goddess - Leonard Shlain
  • The information - James Gleick
  • Murray Gell-Mann’s definition of beauty/elegance: "A theory appears beautiful or elegant [...] when it’s simple; in other words when it can be expressed very concisely in terms of mathematics that we’ve already learned for some other reasons."
  • A John Backus quote (from his Turing Award lecture): “Many creative computer scientists have retreated from inventing languages to inventing tools for describing them. Unfortunately, they have been largely content to apply their elegant new tools to studying the warts and moles of existing languages. After examining the appalling type structure of conventional languages, using the elegant tools developed by Dana Scott, it is surprising that so many of us remain passively content with that structure instead of energetically searching for new ones.”
    • ...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

    508 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,051 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    62 Listeners

    The Rest Is Money by Goalhanger

    The Rest Is Money

    184 Listeners

    BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

    BG2Pod with Brad Gerstner and Bill Gurley

    473 Listeners