[GregBuchholz]

That sounds like the traditional method of learning math. I was wondering if we could leverage technology and our experiences with teaching/learning the formal systems of programming languages to make more math more accessable. For instance, I'm thinking this little instance of geometric algebra:

http://www.shapeoperator.com/2016/12/12/sunset-geometry/

...might be easier for me to understand if I could use Haskell to implement the wedge and geometric product operators on an algebraic data type describing the scalar/vector/bi-vector thingy. There is probably an applied vs. pure thing here as well. My motivations for investigating geometric algebra is to see if geometric algebra makes synthesizing mechanical linkages easier, whereas maybe most expositions on geometric algebra are focused on teaching geometric algebra to advance the state of geometric algebra. That's probably a long winded way of saying that mathematicans are writing for mathematicians (whether by design or accident). I suppose I should re-read Mindstorms again, but this time in the context of adult learning.

[sn9]

I'm not sure if this is what you're looking for, but I've had this book on my wishlist for a quite a while and it seems to fit: http://www.geometricalgebra.net/

[GregBuchholz]

Yes, that looks to be exactly the type of thing I'm thinking of. Thanks.