Функціоналне проґрамованя

Функціоналне проґрамованя належыть міджі декларатівны прінціпы проґрамованя. Алонзо Чурч створив формалный вычісловательный модел званый λ-калкул. Тот модел служыть як основа про функціоналны языкы.