Przejdź do treści

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

Dalsza praca

Projekt w Lang · Kompilator w Lang · Dokumentacja narzędzi