From Turing machines we got imperative programming languages, which everybody is very familiar with, and from lambda calculus you get functional programming." Very briefly, the main difference ...

A programming language that is based primarily on writing algorithms (functions). The syntax of functional programming ... known as "imperative programming," also uses functions (subroutines).