Dr. Russell O'Connor of Blockstream, during the PLAS 2017 workshop in Dallas, USA, unveiled his work "Simplicity: A New Language for Blockchains", in which he described a new programming language called Simplicity. This typed functional programming language is intended to be an alternative to existing languages, which are used to develop smart contracts based on blockchain technology. One of the main differences between Simplicity and Bitcoin Script - a simple scripting language on which you can execute simple scripts (the prototype of smart contracts) in Bitcoin's locker is the lack of a problem with the lack of some opcodes.