Η μεταφραστική κάλυψη είναι μερική. Για την πλήρη τεχνική αναφορά συμβουλευτείτε την αγγλική πηγή. Δείτε την αγγλική έκδοση →
Μάθηση

Μια σαφής διαδρομή προς τη γλώσσα.

Επιλέξτε το επόμενο βήμα. Κάθε οδηγός συνδέει τη γλώσσα με πραγματικά αρχεία του αποθετηρίου, προϋποθέσεις και γνωστούς περιορισμούς.

Ξεκινήστε με τη Sounio

Η αγγλική προδιαγραφή παραμένει κανονική. Οι μεταφρασμένοι εισαγωγικοί οδηγοί δεν σημαίνουν ότι κάθε τεχνική σελίδα έχει μεταφραστεί και ελεγχθεί.

Ξεκινώντας με τη Sounio

Εγκατάσταση, συμβατή πλατφόρμα, ταυτότητα μεταγλωττιστή και πρώτη πραγματική εκτέλεση.

  • Γεια σου, Sounio
  • Πρώτη δομή και πρόσβαση σε πεδία

Οδηγός Γλώσσας

Βασική σύνταξη και σημασιολογία, ευθυγραμμισμένα με τον τρέχοντα compiler.

  • Μεταβλητές και Τύποι
  • Συναρτήσεις
  • Έλεγχος Ροής
  • Μονάδες και Αβεβαιότητα

Επιστημικοί Τύποι

Αβεβαιότητα, confidence και provenance ως δεδομένα πρώτης κλάσης.

  • Knowledge<T>
  • Αβεβαιότητα
  • Προέλευση δεδομένων (Provenance)

Επιδράσεις (Effects)

Κάντε τις παρενέργειες ρητές με `with IO`, `with Panic`, `with Async` και προσαρμοσμένα effects.

  • Είσοδος/έξοδος (IO)
  • Προσαρμοσμένα effects

Κατάσταση και περιορισμοί

Πώς ελέγχουμε την κάλυψη ανά προφίλ, λειτουργία και επιστημονική αξίωση.

  • Προγραμματισμός GPU
  • Μονάδες Μέτρησης (Units)
  • Βασική βιβλιοθήκη
  • Εργαλεία ανάπτυξης
  • LSP

Παραδείγματα και εφαρμογές

Πλήρη προγράμματα και ελληνικές διαδρομές για χημεία, τεχνητή νοημοσύνη και ανάπτυξη.

  • Αβεβαιότητα στη βανκομυκίνη

Compiler Internals

A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.

  • Λεξικοποίηση και συντακτική ανάλυση
  • Type System
  • Effect System
  • Παραγωγή κώδικα
  • Επιστημονικές δυνατότητες

Προδιαγραφή και τεκμήρια

Απαιτήσεις της γλώσσας, κατάσταση υλοποίησης και όρια των εκτελεσμένων ελέγχων.

  • Language Spec (v1.0.0)