5 ms·
Everyone who thinks law-as-code on actual, not tax-code-algorithm law is a great idea: We as an industry have yet to figure out how to reliably get simple busin
by dividedbyzero 5y ago
Everyone who thinks law-as-code on actual, not tax-code-algorithm law is a great idea: We as an industry have yet to figure out how to reliably get simple business processes into code without mishaps, imagine the hubris of attempting to get all of society into code without terrible results ...
- amitport 5y agoThey're not aiming at all of society. Parts of the law are already algorithms (not all of it), they just happen to be written in an obscure uncompilable Legalese.
- oscardz 5y agoThe Dutch Tax Administration have been using controlled natural language for the specification of their legislation for some time now with JetBrains MPS (external) DSLs: https://www.youtube.com/watch?v=1pfABlzO2Wc&index=2&t=0s&list=PLQ176FUIyIUZXibX-WXeiBAM8VnuohJZQ https://www.youtube.com/watch?v=1pfABlzO2Wc&index=2&t=0s&lis...
- haram_masala 5y agoTangential note, it’s exciting to see someone using MPS. It’s an interesting and possibly transformative software technology that seems ahead of its time.
- amitport 5y agoSounds very similar to https://www.eclipse.org/Xtext/ https://www.eclipse.org/Xtext/ (though I never used MPS)
- oscardz 5y agoYes, MPS and Xtext are the best language workbenches in the market. The main difference is that MPS uses a Projectional editor, so you can use different notation (not only text): https://youtu.be/XGm_khXZl44 https://youtu.be/XGm_khXZl44
- CameronNemo 5y agoThis isn't python or JavaScript. This language is specifically designed to integrate with proof assistants, like ambitious hyper-secure TLS implementations or formally verified microkernels.