Conversation

Notices

1. Embed this notice
   Lucie / minute (mntmn@mastodon.social)'s status on Tuesday, 24-Mar-2026 05:04:58 JST Lucie / minute

   "programming as theory building", peter naur, 1985

   • Embed this notice
     Elijah Massey (emassey0135@caneandable.social)'s status on Tuesday, 24-Mar-2026 05:12:44 JST Elijah Massey

     in reply to

     @mntmn Our design of this introductory computer-science subject reflects two major concerns. First, we want to establish the idea that a computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute. Second, we believe that the essential material to be addressed by a subject at this level is not the syntax of particular programming-language constructs, nor clever algorithms for computing particular functions efficiently, nor even the mathematical analysis of algorithms and the foundations of computing, but rather the techniques used to control the intellectual complexity of large software systems." - The Structure and Interpretation of Computer Programs, Preface to The First Edition