Lanterna Rally

Author: Henning Diedrich

Publisher:

Published: 2019-10-05

Total Pages: 119

ISBN-13: 9781697747683

THIS RELEASE IS AN EARLY DRAFT FOR FEEDBACK AND DISCUSSION.*Lexon* is a new type of program language that anyone can read without prior knowledge of programming. It was made for blockchain *smart contracts* and can be used to write (more) legal smart contracts. Its application points beyond blockchain and legal concerns though, to any circumstance where people would benefit from algorithms to be more transparent. It is really about a new paradigm in programming.This book is a comprehensive introduction into the language, its use and its purpose by the creator. It starts out with practical examples, gives context for the online editor to try Lexon live, touches on the philosophical and the history of (more) human-readable languages. The author published the first best seller on smart contracts and with this new book proposes where the journey will go.*Lexon* achieves the Holy Grail of Computational Law: it captures the meaning of contracts for automatic processing. But Lexon is also useful for any community or company that wants its smart contracts to be readable for all its members. Programming should long have been this easy. Legal prose should long have been as accessible and affordable as contracts written in Lexon are. Lexon joins the old and the new, the power of the word with the power of the electron, and by this, super charges blockchain technology in an unexpected way that will touch many walks of life.This book is for everyone who is curious and has an open mind. Lexon is still under development. Find updates about Lexon at https://www.lexon.tech.*In non-technical terms,* this book presents* examples of legal, smart contracts that anyone can read, written in Lexon; * visualizes what Lexon does differently from other program languages to stay closer to human language and to keep more semantic information intact; * proposes what elements constitute human-readability and how they shape up with Lexon;* Lexon's grammar, vocabulary and document structure are explained; * abstract syntax trees are illustrated; * the term 'meaning' is discussed to explore Lexon's relationship to AI; * the research leading to the human-readable program language is retraced and put into the context of Computational Law, and the history of program language;* finally, applications and benefits of the new capabilities are listed. Content:D I G I T A L C O N T R A C T S CONTROLLED LANGUAGE CODE CONTRACT PARTS SOLIDITY OUTPUT ONLINE EDITOR AND DEPLOYMENT COMPUTATIONAL LAW E X A M P L E S UCC FINANCING STATEMENT SERVICE AGREEMENT WITH ESCROW THE MOLOCH DAO H U M A N - R E A D A B L E P R O G R A M S NATURAL LANGUAGE PROGRAMMING T H E L A N G U A G E VOCABULARY SENTENCE GRAMMAR DOCUMENT STRUCTURE OVER TO YOU! C A P T U R I N G M E A N I N G ABSTRACT SYNTAX TREES WHAT USE IS AN AST? ASTS AND NATURAL LANGUAGE ARTIFICIAL INTELLIGENCE TOOLING MEANING SCOPE O U T P U T & P O R T A B I L I T Y MULTI-LINGUAL AND MULTI-JURISDICTIONAL CODE ANALYSIS A P P L I C A T I O N PRIVATE CONTRACTING DECENTRALIZED AUTONOMOUS ORGANIZATIONS ROBOTICS TRADE LAW EX-ANTE REGULATION GOVERNANCE REGTECH & OVERSIGHT TERMS OF SERVICE BILLS OF EXCHANGE FINANCIAL INSTRUMENTS PROVENANCE ACADEMIC CERTIFICATION SUPPLY CHAIN LOGISTICS FUTURE-PROOFING ESCROW CROWDFUNDING MUTUAL AND RETAIL INSURANCE INFORMATION SALE AND SHARING DIGITAL ASSET MARKETS A P P E N D I X I : C O D E & T R E E S LEXON CODE: WALK-THROUGH GENERATED SOLIDITY: WALK THROUGH NATIVE SOLIDITY: WALK THROUGH A P P E N D I X I I : C O M P U T E R L A N G U A G E S B A S E D O N N A T U R A L L A N G U A G E COMMERCIAL LANGUAGES ESOTERIC LANGUAGES