Alonzo Church (ur. 14.06.1903 w Waszyngtonie, zm. 11.08.1995 w Hudson w USA) amerykański logik i matematyk
Programowanie funkcyjne (lub programowanie funkcjonalne) – jest to metoda programowania będąca odmianą programowania deklaratywnego, w której funkcje należą do wartości podstawowych, a nacisk kładzie się na wartościowanie (często rekurencyjnych) funkcji, a nie na wykonywanie poleceń.
W tym przypadku program to po prostu złożona funkcja (w sensie matematycznym), która otrzymawszy dane wejściowe wylicza pewien wynik. Zasadniczą różnicą w stosunku do poprzednich paradygmatów jest brak stanu maszyny: nie ma zmiennych, a co za tym idzie nie ma żadnych efektów ubocznych.
Podstawą teoretyczną programowania funkcyjnego jest opracowany w latach 30. XX wieku przez Alonzo Churcha rachunek lambda, a dokładnie rachunek lambda z typami.
Pchła może cały rok czekać w bezruchu, by na odgłos kroków (ludzkich lub zwierzęcych) natychmiast wyrwać się z odrętwienia i wskoczyć na potencjalnego żywiciela.
