Skip to content
HomeVideosBooks
AllTopicsTrends
BlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K
    Discrete mathematics and functional programmingThomas VanDrunen

    Discrete mathematics and functional programming

    Thomas VanDrunen · 2012

    "Teaches discrete mathematics in conjunction with computer programming in ML"

    Lisp & FunctionalComputer ScienceProgramming
    Open LibraryAmazon
    Stats for nerds
    3recommend
    4mentions
    4people
    2015–2024years
    75% recommend25% neutral

    Mentions per year

    2015201620172018201920202021202220232024

    What Hacker News says

    1. __rito__May 2024
      You might like these-

      - Matrix Arcade (https://yizhe-ang.github.io/matrix-explorable//)

      - Computational Discovery on Jupyter (https://computational-discovery-on-jupyter.github.io/Computa...)

      - Nature Inspired Programming Recipes (https://github.com/clever-algorithms/CleverAlgorithms)

      - A Little Calculus (https://papl.cs.brown.edu/2018/func-as-data.html#%28part._.A...)

      - The Matrix in Computer Science (https://cs.brown.edu/courses/cs053/current/lectures.htm)

      - Discrete Mathematics and Functional Programming (https://cs.wheaton.edu/~tvandrun/dmfp/)

      - A Programmer's Introduction to Mathematics (https://pimbook.org/)

      - Complexity Explorer (https://www.complexityexplorer.org/)

      - Learn Physics with Functional Programming (https://nostarch.com/learn-physics-functional-programming)

      - Seeing Theory (https://seeing-theory.brown.edu/)

      - Coding The Matrix (https://codingthematrix.com/)

      thread
    2. hackermailmanApr 2018
      If you want to fill gaps, any typical undergrad calculus text will do such as Stewart's Early Transcendentals book. You do enough of those 8,000+ exercises and your highschool gaps will fill themselves. My favorite beginner math books are Thomas VanDrunen's Discrete Mathematics and Functional Programming because it's entirely done in SML, and Apostol's Calculus because you end up doing so many exercises you absolutely will never make a silly algebra mistake in a proof or forget a trig identity ever again. Often Apostol will just defer to endless calculating in the chapter exercises if he doesn't have anything he wants to add to the material, this is really good practice if your basic math education is shit like mine was.
      thread
    3. cfedukeDec 2015
      There is a text book _Discrete Mathematics and Functional Programming_ (VanDrunen) [1] which can be bought off Amazon for $60 new. (I bought a used copy when they were cheap, for <$30.) Its a great place to start.

      There is an older version of the manuscript available if you scour Google.

      Then there are also the videos that accompany the text book, which can be accessed by anyone. [2]

      Because learning a language like ML is for the express purpose of thinking differently its likely beneficial to learn the language in a domain you might be unfamiliar with - possibly somewhat academically, instead of building an application from scratch. ("Oh I know how to solve this problem... I'll write an if-then-else statement with a bunch of branches!" vs. "Pattern matching in a case statement? List deconstruction and matching? This looks interesting.")

      1. http://www.amazon.com/Discrete-Mathematics-Functional-Progra... 2. http://cs.wheaton.edu/~tvandrun/dmfp/

      thread
    4. sanosukeMay 2015
      Programming in Haskell, Graham Hutton.

      Functional programming in Scala, Bjarnason.

      Discrete Mathematics and Functional Programming, VanDrunen.

      What would be your recommendation?

      thread

    Related

    Cover of A Programmer's Introduction to Mathematics
    2016–2026

    A Programmer's Introduction to Mathematics

    Jeremy Kun
    24 recommend · 44
    Little ProverDaniel P. Friedman
    2015–2026

    Little Prover

    Daniel P. Friedman
    9 recommend · 20
    Cover of The Little Schemer
    2007–2026

    The Little Schemer

    Daniel P. Friedman
    288 recommend · 652
    Cover of Programming in Haskell
    2008–2024

    Programming in Haskell

    Graham Hutton
    34 recommend · 58
    Cover of Structure and Interpretation of Computer Programs
    2007–2026

    Structure and Interpretation of Computer Programs

    Harold Abelson
    347 recommend · 761
    Cover of How to Design Programs
    2007–2026

    How to Design Programs

    Matthias Felleisen
    277 recommend · 776
    Cover of Clojure for the Brave and true
    2013–2026

    Clojure for the Brave and true

    Daniel Higginbotham
    89 recommend · 139
    Cover of Practical Common Lisp
    2007–2026

    Practical Common Lisp

    Peter Seibel
    218 recommend · 400