Designing a Programming Language for Local Reasoning and Simple Debugging

Designing a Programming Language for Local Reasoning and Simple Debugging

Code Sync via YouTube Direct link

Local Reasoning

5 of 11

5 of 11

Local Reasoning

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Designing a Programming Language for Local Reasoning and Simple Debugging

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Introduction
  2. 2 Summary
  3. 3 Why
  4. 4 My Projects
  5. 5 Local Reasoning
  6. 6 Error Handling
  7. 7 Side Effects
  8. 8 Debugging
  9. 9 Debugging on Elm
  10. 10 Do we need a new language
  11. 11 Questions

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.