Paradygmat programowania, który w największym skrócie można opisać jako rozwiązywanie problemów poprzez tworzenie coraz bardziej skomplikowanych formuł matematycznych i obliczanie ich wartości. Przedstawicielami języków programowania obsługujących ten paradygmat są np. Haskell i F#.
