Sounio

Επιστημονικός υπολογισμός με ορατή την αβεβαιότητα.

Η Sounio είναι γλώσσα συστημάτων με αυτοφιλοξενούμενο μεταγλωττιστή, που διερευνά την αβεβαιότητα, τις φυσικές μονάδες, τις δηλωμένες επιδράσεις και την αλγεβρική δομή. Ξεκινήστε με ένα πραγματικό πρόγραμμα και εξετάστε τις πηγές και τα τεκμήρια των δυνατοτήτων που χρειάζεστε.

Λογισμικό έρευνας. Οι δυνατότητες εξαρτώνται από τον μεταγλωττιστή, τον στόχο και τη λειτουργία· οι επιστημονικές εφαρμογές απαιτούν δική τους επικύρωση.

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

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

Quantities carry dimensions and measurements carry error. The guide to units and uncertainty shows how the language checks both.

Ξεκινήστε από το επιστημονικό ερώτημα.

Εσείς θέτετε το ερευνητικό ερώτημα. Ένας συνεργάτης ΤΝ ετοιμάζει το πρόγραμμα Sounio, ελέγχει την εκτέλεση και εξηγεί τα τεκμήρια. Δεν χρειάζεται να γράψετε κώδικα για να προετοιμάσετε το αίτημα.

Γράψτε το πρώτο σας πρόγραμμα

Ταυτοποιήστε την πλατφόρμα και τον μεταγλωττιστή, ελέγξτε ένα πλήρες παράδειγμα, εκτελέστε το και καταγράψτε τι παρατηρήσατε.

Εξερευνήστε επιστημονικές εφαρμογές

Μελετήστε χημεία, τεχνητή νοημοσύνη, φαρμακολογία και άλγεβρα μέσα από τις πηγές τους. Ένα ερευνητικό παράδειγμα δεν είναι ανεξάρτητα επικυρωμένη εφαρμογή.

Γνωρίστε τι εκτελείτε.

Linux x86-64: το αποθετήριο περιέχει αποθηκευμένο προμεταγλωττισμένο Madaros. Ακολουθήστε τον οδηγό εγκατάστασης και ελέγξτε την ταυτότητά του πριν από τη χρήση.

macOS ARM64: χρησιμοποιήστε τη χωριστή εγγενή διαδικασία κατασκευής από πηγές, με τις προϋποθέσεις της. Το εκτελέσιμο Linux δεν είναι έκδοση για macOS.

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

Ξεκινήστε από το αποθετήριο

git clone https://github.com/Sounio-lang/sounio.git
cd sounio
git rev-parse HEAD

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

Διαβάστε τα τεκμήρια, όχι μια υπόσχεση.

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

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