1 / 7

Programming Considered as a Human Activity

Programming Considered as a Human Activity. Elegance vs. Efficiency. Introduction. “Elegance is the concern of tailors and shoemakers” Vs “…a perfect method should not only be an efficient one, … but should be in all parts and processes manifest a certain unity and harmony.”

jeloise
Télécharger la présentation

Programming Considered as a Human Activity

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Programming Consideredas a Human Activity Elegance vs. Efficiency

  2. Introduction • “Elegance is the concern of tailors and shoemakers” • Vs • “…a perfect method should not only be an efficient one, … but should be in all parts and processes manifest a certain unity and harmony.” • Association between elegance and luxury

  3. Reliability of Results • Impossible to completely prove something • Factorization Machine example • Watertight proofs – No such thing • “I have not discovered any mistakes”

  4. Elegant Efficient Structure • Divide problem into parts, with specifications • Make sure that the specifications working together solve the whole problem • Construct each part, independent of each other • Non-interference

  5. Complicated Inelegant Solutions • Recursion • Goto statements • Optimizing Translator

  6. Conclusion • Every new convenience for the user must be paid for in the implementation • WRONG! • Not as bad as it seems

  7. My thoughts • Didn’t make his point very clearly • Difficult language to understand • Some arguments seemed outdated • Overall, I think he is mostly correct

More Related