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
GPU Programming
Kernel σύνταξη, το effect `GPU` και τι λειτουργεί σήμερα.
Μονάδες Μέτρησης (Units)
Ορίστε και παρακολουθήστε μονάδες για να μειώσετε σφάλματα διαστασιακής ανάλυσης.
Standard Library
Επισκόπηση της stdlib, πώς να κάνετε import modules και πώς να δημιουργήσετε API docs.
Tooling
CLI, formatter, linter, tests, REPL και ο Language Server.
- LSP
Examples
Πού θα βρείτε runnable Sounio code στο repo.
Compiler Internals
A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.
- Lexer & Parser
- Type System
- Effect System
- Code Generation
Specification
How to read the Sounio language spec and where it may differ from the implementation.
- Language Spec (v1.0.0)