Specyfikacja¶
To jest formalna specyfikacja języka programowania Plezuro. Celem jest zdefiniowanie zasad, które muszą być zaimplementowane w każdej wersji tego języka.
Dla kogo to jest?
Dla programistów, którzy chcieliby zaimplementować inną wersję Plezuro, bibliotekę, rozszerzenie jak również dla standardowych użytkowników, którzy pragną poszerzyć swoją wiedzę. Przewodnik jest bardziej dla nauki i prostego zrozumienia, zaś specyfikacja bardziej dla dokładnej wiedzy jak aplikacje w Plezuro powinny się zachowywać i co za tym idzie, jak kompilatory i interpretatory powinny działać.
Jednak to kod jest najlepszym sposobem na dokładne zdefiniowanie zachowania. Zatem każda wersja Plezuro musi przejść pozytywnie wszystkie testy automatyczne napisane dla głównej wersji.