Busy. Please wait.

show password
Forgot Password?

Don't have an account?  Sign up 

Username is available taken
show password


Make sure to remember your password. If you forget it there is no way for StudyStack to send you a reset link. You would need to create a new account.

By signing up, I agree to StudyStack's Terms of Service and Privacy Policy.

Already a StudyStack user? Log In

Reset Password
Enter the associated with your account, and we'll email you a link to reset your password.

Remove ads
Don't know
remaining cards
To flip the current card, click it or press the Spacebar key.  To move the current card to one of the three colored boxes, click on the box.  You may also press the UP ARROW key to move the card to the "Know" box, the DOWN ARROW key to move the card to the "Don't know" box, or the RIGHT ARROW key to move the card to the Remaining box.  You may also click on the card displayed in any of the three boxes to bring that card back to the center.

Pass complete!

"Know" box contains:
Time elapsed:
restart all cards

Embed Code - If you would like this activity on your web page, copy the script below and paste it into your web page.

  Normal Size     Small Size show me how

Programming Paradigm


What is an imperative programming language? A language that uses statements to change a program's state. Procedural programming is a type of imperative programming. Assignment in these languages is a side effect. Java is an imperative language. First do this, and then do that.
Examples of imperative programming languages? FORTRAN, C, Pascal
What is a functional programming language? They take a functional approach to problem solving. Functional programming is a form of declarative programming. Avoids changing-state and mutable data.
What is dynamic scope? A variable's value or state is governed by the most recent elaborated binding (declaration).
Give an example of a logical programing language? Prolog. - it is very declarative.
Give the side effect of imperative declaration changes the state of the machine.
Define mutual recursion Two functions that are defined in terms of each other.
Define a statically typed language. A language is statically typed if the type of a variable is known at compile time. For some languages this means that you as the programmer must specify what type each variable is (e.g.: Java, C, C++);
Define dynamic typing. The typing is done during execution.
Define an abstract data type? ADT classifying data structures based on how they are used and the behaviors they provide. They do not specify how the data structure must be implemented or laid out in memory, but simply provide a minimal expected interface and set of behaviors.
What is a primitive data type? The primitive data type is the basic building block of data. They hold one single value. They represent a characters, integers, reals, or boolean.
What are some composite structure types ? arrays, sets, strings, lists, tree, file or record.
Name some languages that use disjoint unions and the types? Pascal: variant record, ML: union type, ADA discrminated record
What is a disjoint union? values are tagged to indicate which set they are from. #(S + T) = #(S) + #(T)
Functions are always typed as a _______ing? mapping. From argument set to return value set.
What is the mapping for? silly(x: real, y: int){ return 0.0; } val silly: (real x int) ----> real
What is a higher order function? A function is said to be a higher-order function (also called a functional form) if it takes a function as an argument, or returns a function as a result.
What is type inference? refers to the automatic deduction of the data type of an expression in a programming language.
What is currying functions? Currying is when you break down a function that takes multiple arguments into a series of functions that take part of the arguments. fun add(a, b) return a + b then to fun add(a) { return fun (b){ return a + b } }
Name the LISP data abstraction types constructors, selectors, inquisitors (recognizers), readers,
What is lazy evaluation? Lazy evaluation is when expressions are evaluated only when called, and only once.
FP functional programs are simply _______? functions without variables.
name some models of computing systems? simple operational model (turing machines), applicative models (lambda calculus), von nuemann models.
What is strongly typed? Java is a strongly typed language or ML, where every assignment and expression variable must be of the same type.
Describe functional programming paradigm. It is simpler and cleaner than imperative. Originates from the mathematical discipline.
Created by: aiur100