Hacker News new | ask | show | jobs
by seanstickle 4033 days ago
One of my favorite books is "Algebraic Models For Accounting Systems" -- http://www.amazon.com/Algebraic-Models-For-Accounting-System...

Fundamentally this book is about the application of abstract algebra to the analysis of accounting systems.

Add in APL or J (or Haskell if you must) by way of "Algebra: An Algorithmic Treatment" (http://www.amazon.com/Algebra-algorithmic-treatment-Kenneth-...), and you build a quite rigorous proof-based accounting system.
2 comments
boothead 4033 days ago
Thanks for the recommendation. If it wasn't $73 I'd definitely grab a copy. Why is Haskell "if you must" though? Are the others better at expressing code algebraically?
link
seanstickle 4033 days ago
Mostly because I'm an APL snob. Haskell is great.
link
tmornini_ey 4033 days ago
We believe our test suite to be a complete test of the core accounting that we implement.

Would be beautiful to have a provably correct implementation, perhaps v4!

link