A strange thing about the SEC proposal is all these structured deals are already structured with programming languages. They are usually proprietary languages u

A strange thing about the SEC proposal is all these structured deals are already structured with programming languages. They are usually proprietary languages used to run scenarios and evaluate deal structures. These could simply be made public. It would be a more enforceable standard than having two sets of code. I agree with the author of the article that a functional programming language like haskell would be a nicer way to go than python, but we should always remember that the real governing documents--the prospectus, and the more important but more obscure trust deed--are written in legal language. The math only covers part of the semantics of a financial transaction.