Learn
Documentation built for researchers shipping production systems.
Navigate language fundamentals, epistemic mechanics, compiler internals, and domain guides from one structured learning hub.
Ξεκινώντας
Εγκαταστήστε τον compiler, τρέξτε το πρώτο σας πρόγραμμα .sio και μάθετε τα βασικά.
- Hello World
- Το Πρώτο Σας Πρόγραμμα
Οδηγός Γλώσσας
Βασική σύνταξη και σημασιολογία, ευθυγραμμισμένα με τον τρέχοντα compiler.
- Μεταβλητές και Τύποι
- Συναρτήσεις
- Έλεγχος Ροής
Επιστημικοί Τύποι
Αβεβαιότητα, confidence και provenance ως δεδομένα πρώτης κλάσης.
- Knowledge<T>
- Αβεβαιότητα
- Provenance
Επιδράσεις (Effects)
Κάντε τα side effects ρητά με `with IO`, `with Panic`, `with Async` και custom effects.
- IO
- Custom Effects
Feature Status
Implementation status for Sounio's Standard Library and Language Features
- GPU Programming
- Μονάδες Μέτρησης (Units)
- Standard Library
- Tooling
- LSP
Examples
Πού θα βρείτε runnable Sounio code στο repo.
- Vancomycin Uncertainty
Compiler Internals
A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.
- Lexer & Parser
- Type System
- Effect System
- Code Generation
- Scientific Features
Specification
How to read the Sounio language spec and where it may differ from the implementation.
- Language Spec (v1.0.0)