Repository navigation
Home

Imparare il linguaggio Triad e il codice del progetto triad2.0, dai primi programmi al seed in codice macchina.
Un libro in quattro parti, da leggere in ordine: ogni capitolo spiega il perché delle cose, ne mostra l'uso con esempi commentati (quelli di Triad-Core sono eseguiti e il loro output è riportato fedelmente) e si chiude con riepilogo ed esercizi. In fondo, le appendici per la consultazione.
- Capitolo 1 — Perché Triad
- Capitolo 2 — Due profili e una catena
- Capitolo 3 — L'ambiente e il primo programma
- Capitolo 4 — Le parole del linguaggio
- Capitolo 5 — Valori e tipi
- Capitolo 6 — Espressioni, operatori e variabili
- Capitolo 7 — Decidere e ripetere
- Capitolo 8 — Funzioni e ricorsione
- Capitolo 9 — Lambda, chiusure e visibilità dei nomi
- Capitolo 10 — Liste e dati strutturati
- Capitolo 11 — Stringhe, simboli e byte
- Capitolo 12 — Quando le cose vanno storte
- Capitolo 13 — Progetto: un piccolo interprete
- Capitolo 14 — Tipi, struct e multiple dispatch
- Capitolo 15 — Programmazione logica
- Capitolo 16 — Codice come dato e macro
- Capitolo 17 — Garanzie, costrutti Full e interfaccia
- Capitolo 18 — Anatomia del progetto e contratto di conformità
- Capitolo 19 — L'interprete di riferimento
- Capitolo 20 — Il seed in codice macchina
- Capitolo 21 — Verso il self-hosting
- Capitolo 22 — Gli strumenti di sviluppo
- Riferimento dei builtin Core
- Catalogo conformance Core
- Catalogo conformance Full
- Sorgenti degli esempi
- Sorgenti self-hosted
- Documenti di riferimento
- Indice analitico
La versione compatta, organizzata per argomenti, della stessa materia (dal file TUTORIAL.md del repository):
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