Craig Everett
dbab49936d
All checks were successful
Sophia Tests / tests (push) Successful in 48m54s
A few references to oracles still remain, but they have been removed as a feature, at least. Reviewed-on: #985 Reviewed-by: Ulf Wiger <ulfwiger@qpq.swiss> Co-authored-by: Craig Everett <zxq9@zxq9.com> Co-committed-by: Craig Everett <zxq9@zxq9.com>
10 lines
516 B
Markdown
10 lines
516 B
Markdown
# Introduction
|
|
Sophia is a functional language designed for smart contract development.
|
|
It is strongly typed and has restricted mutable state.
|
|
|
|
Sophia is customized for smart contracts, which can be published to a blockchain.
|
|
Thus some features of conventional languages (such as floating point arithmetic) are not present in Sophia,
|
|
and some blockchain specific primitives, constructions and types have been added.
|
|
|
|
The file extension used for Sophia source files is ".aes", reflecting Sophia's Aeternity heritage.
|