A notation for functional programming proposed by J. W. Backus in 1978. Backus propounded a general functional style of programming, and developed an algebra of functional programs. FP has not been developed as a practical programming language, but has enriched the conception of functional programming.