Title: Linguaggi di Programmazione Secondo Semestre / 05 - Type / 05.1 - Introduzione ai tipi

Q: Manifest type e Inferred typing
A: Manifest type languages, the programmer need to annotate the type
Inferred typing: the programming language, deduce the type himself

Statically Typed vs Dynamically Typed languages

Q: Def: Tipi di dato
A: Omogenei (per dire che condividno caratteristiche e behevior in comune)
effettivamente presentati( per dire che devono essere memorizzabili)

Q: Tre usi per l'utilizzo dei tipi nei linguaggi di programmazione
A: Il primo significa per esempio quando definiamo dei tipi custom per rappresentare delle camere di un hotel (sono un astrazione che permette di avere un concetto più chiaro e astratto delle modifiche sui dati realmente memorizzati)
Per la correttezza: il type checker è un programma che viene eseguito (solitamente alla compilazione) per guardare se i tipi di dato nelle r-exp e l-exp delle assegnazioni coincidono, questo garantisce una minima correttezza dei programmi

Q: Def:Sistemi di tipi
A: Sistema di tipi, ossia il complesso delle informazioni e l'insieme delle regole che governano i tipi in quel linguaggio, ed è composto da: