Może to ułatwiać dowodzenie poprawności, upraszczanie algorytmów, modyfikacje kodu bez „psucia” go lub optymalizacje z użyciem memoizacji, eliminacji wspólnych podwyrażeń, leniwego wartościowania lub obliczeń równoległych. Dla przykładu system gwarantujący, iż więcej niż jeden wątek nie dokona modyfikacji tych samych danych może wyeliminować konieczność stosowania niektórych mechanizmów synchronizacji, jak m.in. mechanizmy wzajemnego wykluczania (por. model aktorów stosowany np. w Erlangu, czy też pamięć transakcyjna).
Przypisy
Kategoria:Filozofia analityczna Kategoria:Terminologia informatyczna