QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity
sophia/docs/index.md
Craig Everett dbab49936d
All checks were successful
Sophia Tests / tests (push) Successful in 48m54s
Details
Renaming and preparing to remove oracles (#985) 
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>
2025-03-13 12:53:01 +09:00

516 B
Raw Permalink Blame History

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.