Przejrzystość referencyjna

W filozofii analitycznej i informatyce (nie)przejrzystość referencyjna jest cechą konstruktów lingwistycznych, a co za tym idzie, języków. Konstrukcję językową nazywamy przejrzystą referencyjnie, gdy dla dowolnego zbudowanego z niej wyrażenia zastąpienie podwyrażenia innym, oznaczającym tę samą wartość nie powoduje zmiany wartości wyrażenia. W przeciwnym razie, mamy do czynienia z wyrażeniem nieprzejrzystym referencyjnie. Każde wyrażenie zbudowane na podstawie referencyjnie nieprzejrzystej konstrukcji językowej stwierdza coś na temat podwyrażenia, podczas gdy każde wyrażenie zbudowane na podstawie referencyjnie przejrzystej konstrukcji językowej stwierdza coś nie dotyczącego podwyrażenia, co oznacza, że podwyrażenia są „przejrzyste” względem wyrażenia, pełniąc jedynie rolę „odniesień” do czegoś innego. Na przykład, wyrażenie „_ był mądry” jest referencyjnie przejrzyste (np. Sokrates był mądry jest równoznaczne z Założyciel filozofii zachodniej był mądry), ale „_ powiedział _” jest referencyjnie nieprzejrzyste (np. Ksenofont powiedział, że Sokrates był mądry nie jest równoznaczne z Ksenofont powiedział, że założyciel filozofii zachodniej był mądry).

Przejrzystość referencyjna zależy od wartości nadawanych wyrażeniom, czyli semantyki języka. Zarówno deklaratywne, jak i imperatywne języki programowania mogą zatem być referencyjnie przejrzyste lub referencyjnie nieprzejrzyste, w zależności od używanej semantyki. Na przykład swobodna modyfikacja globalnego stanu z reguły nie jest referencyjnie transparentna, gdyż dane wyjściowe funkcji nie są zależne wyłącznie od jej danych wejściowych, ale również od ukrytych zależności (będących poza zakresem funkcji i jej wywołania). Taka funkcja przestaje wówczas być czystą funkcją, tj. funkcją w matematycznym tego słowa znaczeniu i staje się potencjalnie niedeterministyczna.

Istotą przejrzystości referencyjnej jest umożliwienie programistom i kompilatorom analizę zachowania programu jako systemu przepisywania. 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).