QPQ-AG/public-wiki
12
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update The Sophia Language

Craig Everett 2026-02-06 20:53:11 +09:00
parent f0546c453d
commit 1bf37b505c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
The-Sophia-Language.md

@ -1,6 +1,6 @@
# The Sophia Language # The Sophia Language
Sophia is the smart contract language. It was first implemented on Aeternity, and then used as the basis for smart contracts on the Gajumaru. As we have noted that the EVM and Solidity language were created by people with little experience of virtual machines and language design, it seems fitting to list the main contributors to the Sophia language: [Sophia](https://git.qpq.swiss/QPQ-AG/sophia/src/branch/master/docs/sophia_features.md) is the smart contract language for the Gajumaru. It was first implemented on Aeternity, along with FATE, and then used as the basis for smart contracts on the Gajumaru. As we have noted that the EVM and Solidity language were created by people with little experience of virtual machines and language design, it seems fitting to list the main contributors to the Sophia language:
- Ulf Norell, PhD, Chalmers University and Quviq AB, known for the creation of the Agda programming language - Ulf Norell, PhD, Chalmers University and Quviq AB, known for the creation of the Agda programming language
- Erik Stenman, PhD, Happi Hacking AB, distinguished member of the High-Performance Erlang Group at Uppsala University, where he wrote the first native code compiler for Erlang. Project manager for the 1.0 release of the Scala programming language. Later Chief Scientist and CTO at Swedish factoring giant Klarna. Author of The BEAM Book - the closest thing to an authoritative documentation of the Erlang VM internals - Erik Stenman, PhD, Happi Hacking AB, distinguished member of the High-Performance Erlang Group at Uppsala University, where he wrote the first native code compiler for Erlang. Project manager for the 1.0 release of the Scala programming language. Later Chief Scientist and CTO at Swedish factoring giant Klarna. Author of The BEAM Book - the closest thing to an authoritative documentation of the Erlang VM internals