Future improvements

Functional languages


This page is quite outdated. Contributions to update it are welcome.

Functional languages give certain guarantees over procedural languages like Solidity, namely immutability within a function and strong compile time checking. This can reduce the risk of errors by providing deterministic behavior (for more see this, Curry-Howard correspondence, and linear logic).