Gerald Jay Sussman on Flexible Systems, The Power of Generic Operations from hal application Watch Video
Preview(s):
Gallery
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!)
Description: Flexible Systems nThe Power of Generic Operations nnAbstractnnMost systems we build work well for the application that they were designed for, but they are brittle in that adapting to even small changes in the problem requires large changes in the code.Can we optimize for flexibility, trading off other virtues like proofs of correctness or efficient execution?I think this is often the right path.nnIndeed, Postel's Law,
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!)