Charlie Harvey

March 2015 Reading

  • Introduction to functional programming using Haskell (2nd Edition), by Richard Bird

    Cover of Intro to Functional Programming using Haskell

    I have been working my way slowly through this classic FP book for the last couple of months. Bird’s style is rigorously mathematical but very readable. He is interested in developing programs algebraically. Quite different from my own aproach of hacking away for a bit and then seeing if it works ;-) This is a fantastic book. Apparently the first edition is even better — I’ve heard Erik Meijer call it one of the best books he ever read. And I have the new edition, Thinking Functionally with Haskell in my in-pile.

    2015-03-01 by Charlie Harvey

  • Seduced by logic, by Robyn Arianrhod

    Cover of Seduced by Logic

    Tells the story of two mathematical pioneers, Émilie Du Châtelet and Mary Somerville. Despite growing up in societies where educating women was viewed with at least suspicion and more usually downright hostility, both women were able to make impportant contributions to mathematical discourse. Du Châtelet by translating Newton’s Philosophiæ Naturalis Principia Mathematica into French and by her work (sometimes with her lover, Voltaire) writing what we would now call popular science; Somerville in particular for her Mechanism of the Heavens but also for her various mathematical and scientific papers and books. Readable, entertaining and inspiring in equal measures and with an excellent appendix to explain the basics of some of the mathematics.

    2015-03-01 by Charlie Harvey


Comments

  • Be respectful. You may want to read the comment guidelines before posting.
  • You can use Markdown syntax to format your comments. You can only use level 5 and 6 headings.
  • You can add class="your language" to code blocks to help highlight.js highlight them correctly.

Privacy note: This form will forward your IP address, user agent and referrer to the Akismet, StopForumSpam and Botscout spam filtering services. I don’t log these details. Those services will. I do log everything you type into the form. Full privacy statement.