easyfl | minimalistic functional language

easyfl is a Go library. easyfl has no bugs, it has no vulnerabilities and it has low support. You can download it from GitHub.

EasyFL stands for Easy Formula Language or Easy Functional Language. It is a very simple functional programming language. It is extendable, platform-independent, minimalistic and human-readable. The expressions of the language take one of the following forms:. The primary use of EasyFL is definition of finite constraints of bounded data structures, such as UTXO transactions. It was designed with programmability of UTXO transactions, extendability and verifiability of UTXO ledger model in mind. The EasyFL scripts enable programmability of UTXO behavior, also known as output types. Some people see it as a basic form of smart contracts, however in our opinion, the UTXO constraints or UTXO scripts is a better name for it. Computationally, EasyFL is equivalent to the Bitcoin Script and equivalent models, i.e. its computational model is non-Turing complete. EasyFL can describe validity constraints of static data structures with known bounds, i.e. circuits. It is enough for most use cases, which are based on the data state stored in the UTXO transaction. Non-Turing complete computational model of EasyFL makes it possible automatic proofs and validation of the ledger state transitions constrained by the EasyFL constraints. The constraint-based programmability of the ledger model does not require gas budgets and similar models to put the execution bounds on the program. Here is a preliminary language presentation of the EasyFL language.