Typy w opisie danych
Typ nazywa rodzaj danych i pomaga opisać granice zadań.
Przeczytaj przykład
struct Reading {
celsius: Float
room: Text
}
Pola tworzą nazwany kontrakt danych. Obecny check ma luki kontroli struktur; sam brak błędu nie potwierdza poprawności każdej inicjalizacji.
Dokładne reguły i ograniczenia
Otwórz właściwy rozdział specyfikacji · Potwierdzone luki