Towards a linear algebra of programming

Towards a linear algebra of programming