From mathematics to generalized programming

In this thorough and at the same time accessible book, the designer of innovative software Alexander Stepanov and his colleague Daniel Rose explain the principles of generalized programming and the concept of mathematical abstraction behind them. Understanding these principles will help you write the code at the same time simpler and more effective.
Any fairly qualified programmer who knows how to think logically has sufficient knowledge to read this book. The authors surprisingly intelligibly report the necessary information from the general algebra and the theory of numbers. They explain in detail what problems were supposed to solve mathematicians at first, then show how the solutions they found are translated into the language of generalized programming and allow you to create an effective and elegant code. To demonstrate the most important role of mathematical foundations in many modern applications, the authors show how the results and generalized algorithms can be used in an almost used cryptosystem with an open key.
Reading this book, you will master the thought process necessary for effective programming, and learn to generalize the algorithms found for private algorithms to expand the area of ​​their useful use without loss of effectiveness. You will also comprehend what the value of mathematics for programming is - and this understanding is useful regardless of what language you write in and which paradigm you use.
Alexander A. Stepanov has been programming since 1972, first in the Soviet Union, and then, after emigration in 1977, in the USA. He took part in the programming of operating systems, tools for programming, compilers and libraries. In his work on the grounds for programming, he was supported by General Electric, Polytechnic University, Belllabs, HP, SGI, Adobe, and - since 2009 to this day - A9.com, a subsidiary of Amazon, specializing in search technology. In 1995, the magazine "Dr. Dobb"SJournal awarded him a prize for outstanding merits in programming "for designing a standard library of C ++ templates (StandardTemPlatelibry)