Cross Cutting Concerns Podcast

Podcast 002 - Craig Stuntz on Idris

Listen Later

Craig Stuntz talks about an Incredibly Strange Programming Language: Idris.

Show notes:

  • Craig's slides for Incredibly Strange Programming Languages
  • Stir Trek conference
  • The Sapir-Whorf hypothesis
  • Type-Driven Development With Idris, by Edwin Brady
  • TDD (Test Driven Development). If you've never heard of that, check out Kent Beck's seminal book, Test Driven Development: By Example.
  • Improving Enterprises
  • Papers We Love - Columbus
  • Craig Stuntz's blog
  • Craig Stuntz on Twitter

    • Want to be on the next episode? You can! All you need is the willingness to talk about something technical.

    Theme music is "Crosscutting Concerns" by The Dirty Truckers, check out their music on Amazon or iTunes.

    ...more
    View all episodesView all episodes
    Download on the App Store
    Cross Cutting Concerns PodcastBy Matthew D. Groves
    • 5
    • 5
    • 5
    • 5
    • 5

    5

    3 ratings