Sophia is a smart contract language that was designed to write safer code. It is a functional Ocaml-like language which syntax most resembling that of Reason. Any questions or comments?
Aside from several functions for transactions and events, Sophia is a purely functional language. Its functional nature makes it easier to test and verify the code and avoid mistakes. It is strongly typed and has restricted mutable state. Sophia has built-in functions to directly access all features of æternity such as the naming system, state channels and the oracle function.
You can find various Sophia-related tutorials at dev.aepps.com.