I like Julia for all of the libraries, the Lisp underneath, however, from the article:

"Many of the encodings are as immutable, purely functional data structures (even in imperative languages), a topic unfortunately omitted from many computer science curricula."

Julia and similar PLs don't express math like APL, J[1], Haskell[2], Scheme[3] or even Clojure can with immutable structures and function composition to name a couple. Sure you can write it in Julia, but I don't think the article is about creating math output in the Latexify.jl example, but how to code these math structures where certain languages can express them out of the box in an easier manner.

[1] https://www.jsoftware.com/books/pdf/

[2] https://www.amazon.com/Haskell-Logic-Programming-Second-Comp...

[3] https://mitpress.mit.edu/sites/default/files/titles/content/...

The 2nd edition (2012) fixes this and recommends ghci -- http://www.amazon.com/Haskell-Programming-Second-Edition-Com...

Worth the purchase!

While there is no "royal road" to mathematics for programmers who don't care about proofs, there is a programmer's road to proofs for those interested in Math.

In fact, the book is even called "The Haskell Road to Logic, Maths and Programming" [0]. It covers mathematical notation, proof construction, and lots of interesting portions of discrete math that should be of interest to programmers. And large portions of the results are demonstrated or used in interesting Haskell programs.

[0] http://www.amazon.com/Haskell-Programming-Second-Edition-Com...

For those interested in learning Haskell, I can recommend the lesser known "Haskell Road to Logic, Maths, and Programming":

http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...

It's great to go over old and new math concepts and do so while exploring Haskell.

> My goal is really to add math to my diet, ...

I've started reading "The Haskell Road to Logic, Maths and Programming", maybe that's something for you or some other lurker here that would like to improve on math.

There is a review [2] that gives an interesting impression on the book. The other ones at amazon might also be interesting.

The table of contents + first chapter is available as a postscript file[3]. This should give you an idea what to expect from the book.

[1] http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...

[2] http://www.amazon.com/review/R3CL50MCVEO7UA/ref=cm_cr_pr_per...

[3] http://www.cwi.nl/~jve/HR/HR-27.ps.gz

this is sort of discrete math with haskell examples

http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...