Repository navigation
Indice analitico
Voci in ordine alfabetico con il punto della wiki dove sono spiegate.
| voce | dove |
|---|---|
! (negazione) |
Parte II §7, Builtin |
!io, !state (effetti) |
Parte II §9, Parte III §28 |
#, #= =# (commenti) |
Parte II §4 |
$x, interpolazione |
Parte III §18 |
%, ^, + - *
|
Parte II §7, Builtin |
&&, ||
|
Parte II §7 |
-> (lambda) |
Parte II §10 |
: (simboli, range, ternario) |
Parte II §4, Parte III §18 |
?x (variabili logiche) |
Parte III §22 |
@macro |
Parte III §29 |
albero uniforme (Node) |
Parte III §29 |
| ambiente (lista di associazioni) | Parte II §16 |
ARGS |
Parte I §3, Builtin |
assegnamento, +=, -=, *=
|
Parte II §6 |
begin … end |
Parte II §8 |
| bootstrap S0→S4 | Parte I §1, BOOTSTRAP |
break, continue
|
Parte II §8 |
| budget | Parte III §26 |
| chiusure | Parte II §10 |
| CI | Parte IV §42 |
CLI triad (SPEC §14), REPL |
Parte I §2, Parte III §31 |
| codici di uscita | Parte I §2 |
| conformance | Parte IV §38, Catalogo Core, Catalogo Full |
contratti (requires, ensures) |
Parte III §25 |
| destrutturazione | Parte III §23 |
| editor (VS Code, Vim, Linguist) | Parte IV §41 |
elseif, if, else
|
Parte II §8 |
Err, errori come dati |
Parte III §24 |
| errori di esecuzione (Core) | Parte II §14 |
| esercizi | Parte II §17 |
exit |
Builtin |
fact, rule, solve
|
Parte III §22 |
for, comprehension, range |
Parte III §21 |
function, forma breve, return
|
Parte II §9 |
gen_seed.js |
Parte IV §35 |
get(xs, i) (seed) |
Parte II §15, Parte IV §37 |
| grammatica EBNF | Parte V §44, SPEC-CORE, SPEC |
Int, string, Symbol, typeof
|
Parte II §12, Builtin |
interprete JS (triad_core.cjs) |
Parte IV §34 |
length, push!, xs[i]
|
Parte II §11, Builtin |
let |
Parte II §8 |
macro, quote, eval
|
Parte III §29 |
| multiple dispatch | Parte III §19 |
nothing |
Parte II §5 |
| precedenza degli operatori | Parte II §7 |
print, println
|
Parte II §5, Builtin |
readfile, strlen, strbyte, strsub
|
Parte II §13, Builtin |
| record (liste taggate) | Parte II §16 |
| scope | Parte II §10 |
| seed Linux E0 | Parte IV §36 |
| seed Windows (S0) | Parte IV §35, README seed |
self-hosting (S1, selfhost/) |
Parte IV §37, Sorgenti self-hosted |
| shebang | Parte I §3 |
stringhe, concatenazione *
|
Parte II §12 |
struct |
Parte III §20 |
| tracce | Parte III §27 |
triad-cli |
Parte IV §39, README CLI |
try, catch
|
Parte III §21, §24 |
| benchmark AI | Parte IV §40, Sorgenti esempi |
while |
Parte II §8 |
Parte prima
Parte seconda 4. Le parole del linguaggio 5. Valori e tipi 6. Espressioni, operatori e variabili 7. Decidere e ripetere 8. Funzioni e ricorsione 9. Lambda, chiusure e visibilità dei nomi 10. Liste e dati strutturati 11. Stringhe, simboli e byte 12. Quando le cose vanno storte 13. Progetto: un piccolo interprete
Parte terza 14. Tipi, struct e multiple dispatch 15. Programmazione logica 16. Codice come dato e macro 17. Garanzie, costrutti Full e interfaccia
Parte quarta 18. Anatomia del progetto e contratto di conformità 19. L'interprete di riferimento 20. Il seed in codice macchina 21. Verso il self-hosting 22. Gli strumenti di sviluppo
Appendici
- Riferimento dei builtin Core
- Catalogo conformance Core
- Catalogo conformance Full
- Sorgenti degli esempi
- Sorgenti self-hosted
- Documenti di riferimento
- Indice analitico
Manuale di consultazione