Declarative descriptions for financial contracts and markets having been actively used for a long time now. Executable descriptions not so much. The issue real

Declarative descriptions for financial contracts and markets having been actively used for a long time now. Executable descriptions not so much. The issue really is that it's solving problems we don't have with a solution that gets in the way of solving the problems we do. That's not to say people haven't tried, far from it. But successes tend to be either very rare or very niche.