□ Charakterystyki PF - potoczne
□ Brak instrukcji przypisania - zmienne raz określone nie zmieniają sią
□ Brak efektów ubocznych - funkcje obliczają tylko siebie -> eliminacja błędów -> nie jest ważna kolejność obliczeń (ponieważ efekty uboczne nie zmieniają wartości wyrażeń można je obliczać w dowolnym czasie) -> zmienne można więc zastępować ich wartościami i odwrotnie - programy są referencyjnie transparentne
□ Programy są wielokrotnie krótsze niż te w językach imperatywnych -> programiści są więc bardziej efektywni niż programiści, stosujący języki imperatywne