COMPUTER FUNDAMENTALS

COMPUTER SOFTWARE

PROGRAMMING LANGUAGES

Please wait while the activity loads.
If this activity does not load, try refreshing your browser. Also, this page requires javascript. Please visit using a browser with javascript enabled.

If loading fails, click here to try again

Question [CLICK ON ANY CHOICE TO KNOW THE RIGHT ANSWER]

Which programming paradigm is based on the abstract notion of a function in lambda calculus?

A	Imperative
B	Functional
C	Object-Oriented
D	Logic

Explanation:

Detailed explanation-1: -Functional programming languages are based on the lambda-calculus. The lambda-calculus grew out of an attempt by Alonzo Church and Stephen Kleene in the early 1930s to formalize the notion of computability (also known as constructibility and effective calculability).

Detailed explanation-2: -So, functional programming is based on lambda calculus, a mathematical system for explaining the relation between functional abstraction and functional application.

Detailed explanation-3: -The abstraction form lets us define functions. In lambda calculus, an abstraction (a function) takes one parameter-the x in ( x . M ) and has a body-the M . M is any possible expression in lambda calculus.

Detailed explanation-4: -Lambda calculus (also written as -calculus or called “the lambda calculus") is a formal system in mathematical logic and computer science for expressing computation by way of variable binding and substitution. It captures the features of a wide variety of programming languages.

There is 1 question to complete.