top | item 9617259

(no title)

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.

discuss

boothead|10 years 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?

seanstickle|10 years ago

Mostly because I'm an APL snob. Haskell is great.

tmornini_ey|10 years 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!