The Unreasonable Effectiveness of Dynamic Typing for Practical Programs from d programming language programming paradigm Watch Video
Preview(s): Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
Your browser does not support playing the video.Please download the video!
⏲ Duration: 37 min 25 sec ✓ Published: 12-Sep-2013
Description: Explore the disconnect between the dire outcomes for dynamic language programs predicted by advocates of static typing, versus the near absence of type errors in real world systems built in Python, Ruby and Clojure and the many successful systems built in dynamic languages.nnSome programming language theorists would have us believe that the one true path to working systems lies in powerful and expressive type systems which allow us to encode rich constraints into programs at the time they are cr