I can only imagine that would be a humungous task. And presumably the existence of case law makes it much harder still.

It would be quite interesting to think about what the legal equivalent of unit tests would look like. Presumably a large collections of sets of circumstances and desired legal outcomes. It seems to me that this might be an interesting output of legislatures in addition to statutes (although whether they would/should be controlled by the legisalture or judiciary is also quite an interesting question, as our existing system seems to rely quite heavily on the judiciary being able reinterpret laws in ways the original legislators most likely didn't intend)

These are called Reform Acts. They are indeed humungous tasks, rarely undertaken. Where I studied law, in the Northern Territory, a Law of Property Act was passed in 2000 and repealed Acts and overruled case law going back to the 12th century in Britain. It was indeed a massive effort.

For some areas of law the Act is also a Code (the Act explicitly says that it is the sole, whole body of the relevant law). This is mostly done for criminal law.

Codes are rare in common law jurisdictions like the US, UK, Australia, Canada, New Zealand etc. Codes are much more common in civil law countries like France, where the ideal is for all of law to be centralised and rationalised. Both systems require endless tinkering, debate and reinterpretation, which is why I am skeptical of universalist missions to convert the whole of the law into a system of formal symbols.

If I recall correctly Quebec separates by private and "public" law, so if you get divorced or break up a company it's one system, if you steal from someone, the other.

Somehow it's all hybridized and works.

Although arguably stating law in natural language might not help much with that either.

Legislation is typically drafted in a structured way, with deliberate norms and forms. There are professional drafters who do exactly that on behalf of legislators, and a body of case law on the interpretation of legislation that guides their work.

> As Merigoux explained more fully on his blog, this project became possible because the French government open-sourced the code that they use to calculate residents’ taxes, which was written in a domain-specific language called M, but they didn’t release the compiler that would have been needed to actually run any code written in that language. MLang is a compiler for M code written by Merigoux, and it has two special features: it translates the tax calculation function to Python, and it enables formal verification of features of the tax calculation using an automatic theorem prover called Z3.

Nevertheless, such efforts cover minimal portions already very clearly defined and debated. As another commenter replied, reforms are rarely undertaken for various reasons. One great issue with tax law is also that whatever code you may write is not necessarily guaranteed to be 'better' (fairness, revenue collected, lack of loopholes and edge cases, completeness, correctness... pick your metric) simply because it's code. That's what I thought too; but no longer.

All billable hours aren't created equally. If I can automate the work that I currently hire fresh grads to do - the work of actually drafting up contract agreements for review and wills - but price my services just under the prices offered by other firms then I can make a killing.

You can purchase a hand carved wooden table for your living room and some people still actively manufacture these "bespoke" items, however most folks shop at IKEA and chose between one of a dozen styles available for a dining room table. These two products are mostly functionally identical in terms of supporting food and weathering the years (if you go by depreciation the IKEA table probably loses value slower than a hand carved table - and you can replace it pretty much at will). There will likely always be contract lawyers around to sort out large M&A agreements and other high priced transactions, but wills and simple employment contracts - delivering these in a correct format (i.e. not just a download a sample contract and fill in names possibly resulting in something unenforceable) will be a game changer.

Taxes are extremely complicated - but they got that way by design. The US Tax code is the result of one of the most insane applications of regulatory capture in the world and it's there to allow Intuit to continue printing money at the expense of the tax payer - simplifying those (like for real - not the 2017 version) might not end up happening for decades as there is a ton of money entrenched - so that seems like an incredibly poor part of the market to initially target.

Contract law though, it's not simple but it's so utterly clear and actually codifying it would likely greatly aide law makers in discovering and resolving any existing loopholes and might even provide some useful insight into how the US could better handle the question of employee vs. contractor by enumerating rights and privileges in a clearer format.

And wills, pretty much everyone seeks independent legal council to write one of these at some point - it is highly advisable depending on where you live (in Canada a lack of a clear will causes assets to be tied up by the government for an extended period of time) so you could make a lot of money edging the market out there in particular.

This is probably true, but has a definite knock on effect that breaks the existing training model pretty badly.

I suspect the longer term stable solution is relatively fewer working lawyers relying more on tools - but transitioning the industry to that model will be painful.

Free access to law, and software for filings like afterpattern.com, that's the boring stuff that lawyers don't want to do and I don't want to pay for, so win/win. And that's all part of the larger vision of computational law that Legalese wants to help realize. Thanks for the good wishes and I hope to deliver on the vision, we've been at it for five years and will probably be at it for another ten before we start seeing results percolating into the real world.