Inżynieria semantyki z PLT Redex

Opinie czytelników

Książka stanowi jasne i interesujące wprowadzenie do semantyki, szczególnie wspomagane przez narzędzie PLT Redex. Podczas gdy pierwsza część jest chwalona za kompleksowy przegląd i kontekst historyczny, kolejne sekcje dotyczące PLT Redex i studiów przypadków otrzymały mieszane recenzje, podkreślając pewne zamieszanie i niespójność.

⬤ Przejrzysta i interesująca prezentacja semantyki
⬤ efektywne wykorzystanie PLT Redex do eksperymentów
⬤ przystępny przegląd semantyki operacyjnej
⬤ mocne wprowadzenie do semantyki małych kroków i kontekstów ewaluacyjnych.

⬤ Początkowe rozdziały wprowadzają mylącą terminologię
⬤ brak wyjaśnienia podstawowych funkcji Redex
⬤ druga część wydaje się rozdęta i słabo zintegrowana z wcześniejszymi sekcjami
⬤ studia przypadków są niespójnie przedstawione i brakuje im jasnej organizacji.

(na podstawie 4 opinii czytelników)

Oryginalny tytuł:

Semantics Engineering with PLT Redex

Zawartość książki:

Pierwsza kompleksowa prezentacja semantyki redukcyjnej w jednym tomie i pierwszy zestaw narzędzi dla takich form semantyki. Niniejszy tekst jest pierwszą kompleksową prezentacją semantyki redukcyjnej w jednym tomie; wprowadza również pierwszy niezawodny i łatwy w użyciu zestaw narzędzi dla takich form semantyki.

Inżynierowie oprogramowania od dawna wiedzą, że automatyczne wsparcie narzędziowe ma kluczowe znaczenie dla szybkiego prototypowania i modelowania, a ta książka jest skierowana do pracującego inżyniera semantyki (absolwenta lub profesjonalnego projektanta języka). Książka zawiera zestaw narzędzi do prototypowania, umożliwiający tworzenie, eksplorowanie, testowanie, debugowanie i publikowanie semantycznych modeli języków programowania. Dzięki PLT Redex semantycy mogą formułować modele jako gramatyki i modele redukcyjne na swoich komputerach z łatwością papieru i ołówka.

Tekst najpierw przedstawia ramy formułowania modeli językowych, koncentrując się na rachunku równań i maszynach abstrakcyjnych, a następnie wprowadza PLT Redex, zestaw narzędzi programowych do wyrażania tych modeli jako modeli PLT Redex. Na koniec eksperci opisują szereg modeli sformułowanych w Redex.

PLT Redex jest dostarczany z implementacją PLT Scheme, dostępną bezpłatnie pod adresem http: //www.plt-scheme.org/. Czytelnicy mogą pobrać oprogramowanie i eksperymentować z Redex podczas pracy nad książką.