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)