I would be terribly afraid to write a real world retail system in Solidity. One stupid mistake and all the money is gone, without much you can do about it.

And without formal verification, bugs are certain sooner or later.