Elements of Programming (2009)

Elements of Programming (2009)(elementsofprogramming.com)

164 points by kykeonaut 1 year ago | 12 comments

rramadass 1 year ago |

Alexander Stepanov also has Notes on Programming (a series of lectures he gave at various companies) which is what this and his other published books are based on. You can find the link to it in the "reference" section of his wikipedia page - https://en.wikipedia.org/wiki/Alexander_Stepanov

I have all of his books and they are all great (though not easy!). His starting point is "Algebraic Structures" (basically sets of objects and operations defined on them eg. Groupoid/SemiGroup/Monoid/Group etc.) and so some familiarity with Abstract Algebra/Discrete Mathematics is assumed. The mapping he does from the mathematics to a language construct modeling a concept is what gives one the insight into programming. His other book From Mathematics to Generic Programming gives one a more "easier" approach to the subject and should be read in conjunction with this one for better understanding.

A related old book is Ruminations on C++: A Decade of Programming Insight and Experience by Andrew Koenig and Barbara Moo. This is derived from a collection of articles written by Koenig when he was working closely with Stepanov on his ideas and implementation of STL. His idea of programming templates in a functional and generic manner is what is conveyed in this book in the "templates" section and is still quite illuminating (no math but short C++ code in articles). So something which might not be clear from Stepanov's mathematical treatment may be clearer here since you can see an actual C++ implementation (warts and all).

dang 1 year ago |

Related. Others?

Elements of Programming (2019) - https://news.ycombinator.com/item?id=32459443 - Aug 2022 (11 comments)

Elements of Programming - https://news.ycombinator.com/item?id=20437347 - July 2019 (24 comments)

Alex Stepanov (STL) just published a book on math foundations of programming - https://news.ycombinator.com/item?id=665987 - June 2009 (1 comment)

mempko 1 year ago |

If you are passionate about programming and and computer science, this is the book to read. It's like Euclid's elements, but for programming.

laurent_du 1 year ago | |

Euclid's Elements is absolutely not a useful book for the contemporary.

WillAdams 1 year ago | | |

I've found it useful as a grounding, and reference, and authoritative definition source, so I refer to:

https://mathcs.clarku.edu/~djoyce/java/elements/elements.htm...

when writing:

https://willadams.gitbook.io/design-into-3d/2d-drawing

mempko 1 year ago | | |

You missed the point. Euclid's elements is a beautiful work that is incredibly well structured. It has served an important purpose in math. Elements of programming is like Euclid's elements in this way.

layer8 1 year ago |

Historically, this is based on what is described here: https://en.wikipedia.org/wiki/Alexander_Stepanov#Standard_Te...

kragen 1 year ago |

I've found this book, and Stepanov's previous work, to be among the most insightful ways of thinking about programming. But it's hard to distill, and we could wish for a much better language than C++ to express these ideas in.

pjmlp 1 year ago | |

That is the attractiveness of the dark side of the force, the closest we have come from all kinds of Haskell like exploration ideas into a mainstream language, maybe one day Rust will get there as well.

No accident that Bartosz Milewski got to mix both worlds.

Agree it should be better.

kragen 1 year ago | | |

Stepanov is addressing a lot of topics that Haskell sweeps under the rug. For software for which crashing is acceptable behavior, such as compilers, web browsers, or theorem provers, that's an improvement. Not all software falls in that category.

iLemming 1 year ago |

The year in the HN title looks wrong, in the PDF it says 2019, please fix it, otherwise people ignore the book thinking it's too outdated.

icermann 1 year ago | |

It's explained on the web page

"After ten years in print, our publisher decided against further printings and has reverted the rights to us. We have published Elements of Programming in two forms: a free PDF and a no-markup paperback."