"Teaches discrete mathematics in conjunction with computer programming in ML"
- 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/)
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/
Functional programming in Scala, Bjarnason.
Discrete Mathematics and Functional Programming, VanDrunen.
What would be your recommendation?