# æternity Sophia Language

Sophia is æternity's native smart contract language, designed with security and functional programming principles at its core. As a strongly typed functional language, Sophia helps prevent common smart contract vulnerabilities while providing powerful features for blockchain development. It combines the safety of functional programming with blockchain-specific features like state handling, contract interactions, and oracle integration, making it particularly well-suited for developing secure and efficient decentralized applications.

The Sophia documentation spans multiple areas to support developers at every stage of their journey. It begins with an Introduction and In-Depth Overview of the language fundamentals, then covers practical aspects through comprehensive libraries documentation. Documentation includes information on the Sophia Compiler. Development tools like the æStudio, Sophia Visual Studio extension and æREPL (an interactive development environment) are thoroughly documented to aid in code writing and testing. For deployment and testing, developers will find detailed guides on using æproject (the project management tool) and interacting with the testnet. The documentation also includes specialized sections on HTTP compiler interactions and various integration capabilities, providing a complete resource for Sophia development from concept to deployment.

<table data-view="cards"><thead><tr><th></th><th data-hidden data-card-cover data-type="files"></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td>In-Depth Overview</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FO7MHc7XJYKrtCX2zPCz5%2Fflip-30deg-gradient2.svg?alt=media&#x26;token=9a5fcdda-f853-495e-a65b-ac9c4272af37">flip-30deg-gradient2.svg</a></td><td><a href="markdown/in-depth-overview">in-depth-overview</a></td></tr><tr><td>Sophia Documentation</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FU6AxxjQIzLuS9z4AwiGP%2F15deg-gradient.svg?alt=media&#x26;token=a2520256-1072-43f8-9a8d-3681276494bd">15deg-gradient.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aesophia">aesophia</a></td></tr><tr><td>Sophia CLI</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FFg8uXb2tgWcUjB3yscps%2Fflip-30deg-gradient.svg?alt=media&#x26;token=7011595e-bad7-4b5e-926e-501080d42820">flip-30deg-gradient.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aesophia_cli">aesophia_cli</a></td></tr><tr><td>Sophia Compiler</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FKey2nC2gcnVYcphkYKua%2Fflip-30deg-gradient.svg?alt=media&#x26;token=74f98615-9dbe-4d73-9d3a-6b15dc8572ff">flip-30deg-gradient.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aesophia/docs/aeso_compiler">aeso_compiler</a></td></tr><tr><td>Sophia HTTP</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FO7MHc7XJYKrtCX2zPCz5%2Fflip-30deg-gradient2.svg?alt=media&#x26;token=9a5fcdda-f853-495e-a65b-ac9c4272af37">flip-30deg-gradient2.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aesophia_http">aesophia_http</a></td></tr><tr><td>Sophia REPL</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FU6AxxjQIzLuS9z4AwiGP%2F15deg-gradient.svg?alt=media&#x26;token=a2520256-1072-43f8-9a8d-3681276494bd">15deg-gradient.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aerepl">aerepl</a></td></tr><tr><td>Æ Project</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FU6AxxjQIzLuS9z4AwiGP%2F15deg-gradient.svg?alt=media&#x26;token=a2520256-1072-43f8-9a8d-3681276494bd">15deg-gradient.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aeproject">AEproject</a></td></tr><tr><td>Æ Project Library</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FuCuUz6N9JVi7JNEARpet%2F30deg-gradient.svg?alt=media&#x26;token=14b19a78-76dd-40be-b953-2b92048cd356">30deg-gradient.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aeproject/docs/lib">AEproject Library</a></td></tr><tr><td>Æ Studio</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FKey2nC2gcnVYcphkYKua%2Fflip-30deg-gradient.svg?alt=media&#x26;token=74f98615-9dbe-4d73-9d3a-6b15dc8572ff">flip-30deg-gradient.svg</a></td><td><a href="https://app.gitbook.com/s/yxhRUAwn7tH8JUboTur7/aestudio">Æ Studio - Formerly known as 🔥 Fire Editor ! Aeternity's easy to use editor for writing smart contr</a></td></tr><tr><td>Testing and Deployment</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2Fqv8WNFqyb25mTa3IkdrN%2F30deg-gradient.svg?alt=media&#x26;token=3cf54055-ab01-4852-b735-10c67ef6955a">30deg-gradient.svg</a></td><td><a href="../../../../development-infrastructure/testing-and-deployment">testing-and-deployment</a></td></tr><tr><td>Sophia Language Website</td><td><a href="https://839505583-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FggVl0Jqy6Dd8f38hGk63%2Fuploads%2FO7MHc7XJYKrtCX2zPCz5%2Fflip-30deg-gradient2.svg?alt=media&#x26;token=9a5fcdda-f853-495e-a65b-ac9c4272af37">flip-30deg-gradient2.svg</a></td><td><a href="https://sophia-language.com/">https://sophia-language.com/</a></td></tr></tbody></table>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.aeternity.com/aeternity-developer-tools/protocol/core-protocol-components/smart-contracts/smart-contract-languages/markdown.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.