3 ms·
Nicely considered. I've spent the last two months writing a paper on how natural language (and the ambiguities within) drive most of the inefficiency in today's
by obeavs 3y ago
Nicely considered. I've spent the last two months writing a paper on how natural language (and the ambiguities within) drive most of the inefficiency in today's financial markets. Properly designed DSLs for these spaces (which we've been working on) would do absolute wonders for how anything from housing development to critical infrastructure is financed.
It's remarkable how much more clearly logic is when semantic flourish (and associated ambiguity) from the English language is thoughtfully constrained away, and it's always seemed interesting to see how computer engineers see natural language as the target.
phosphor.co/20x if you'd like to see how this works in contract law and finance :).
- ibestvina 3y agoI'm always drawn to these types of initiatives, and your whitepaper looks (at least with my very limited knowledge of the domain) interesting. What I am always wondering, and maybe you can give some details here, is the following: isn't the fact that regulations are in natural language, with all its ambiguity, a necessary requirement to have the system operate without being fully specified? In other words, wouldn't any kind of strict DSL force us to think through all the edge cases that might possibly arise, instead of dealing with them when they do arise, which is basically what the judiciary is for? And isn't that a price too high to implement these kinds of systems?