Typy udoskonaleń: Samouczek

Oryginalny tytuł:

Refinement Types: A Tutorial

Zawartość książki:

Typy rafinacji mogą być wektorem, który wprowadza formalną weryfikację do głównego nurtu rozwoju oprogramowania. Ten szczęśliwy rezultat zależy od zaprojektowania i wdrożenia systemów typów rafinacji, które można doposażyć w istniejące języki lub współprojektować z nowymi.

W tej książce autorzy katalizują rozwój takich systemów, destylując idee opracowane w rozległej literaturze na ten temat w spójny i ujednolicony samouczek, który wyjaśnia kluczowe składniki nowoczesnych systemów typów rafinacji, pokazując, jak zaimplementować sprawdzanie typów rafinacji.

Zainspirowani strukturą nanopass do nauczania kompilacji, autorzy pokazują, jak zaimplementować typy rafinacji poprzez progresję języków, które stopniowo dodają funkcje do języka lub systemu typów.

Łatwo dostępna książka zapewnia czytelnikowi wnikliwe wprowadzenie do typów rafinacji przy użyciu innowacyjnego stylu samouczka, który umożliwia szybką naukę. Co więcej, dołączona implementacja oprogramowania pozwala czytelnikom pracować nad praktycznymi przykładami z prawdziwego świata.