Type Concepts interview questions

15 real Type Concepts questions from the Functional Programming bank, as asked in Indian campus drives and tech interviews. Every question has a verified answer and an AI-tutor explanation on placd — free to start.

1. What is Algebraic data type?

Mid
  1. A.a composite type that holds several values together at once, such as a record or tuple
  2. B.a composite type formed by combining other types through choice or grouping
  3. C.a composite type whose value is exactly one of several named alternatives, also called a tagged union
  4. D.deconstructing a value by testing its shape against alternatives and binding its parts in one expression
Reveal the answer + AI explanation — free account

3. Which statement is correct?

Mid
  1. A.Algebraic data type — deconstructing a value by testing its shape against alternatives and binding its parts in one expression
  2. B.Algebraic data type — a composite type that holds several values together at once, such as a record or tuple
  3. C.Algebraic data type — writing routines and types that work uniformly over any type via type parameters, also known as generics
  4. D.Algebraic data type — a composite type formed by combining other types through choice or grouping
Reveal the answer + AI explanation — free account

4. What is Sum type?

Mid
  1. A.writing routines and types that work uniformly over any type via type parameters, also known as generics
  2. B.a composite type whose value is exactly one of several named alternatives, also called a tagged union
  3. C.a composite type formed by combining other types through choice or grouping
  4. D.deconstructing a value by testing its shape against alternatives and binding its parts in one expression
Reveal the answer + AI explanation — free account

6. Which statement is correct?

Mid
  1. A.Sum type — a composite type whose value is exactly one of several named alternatives, also called a tagged union
  2. B.Sum type — writing routines and types that work uniformly over any type via type parameters, also known as generics
  3. C.Sum type — deconstructing a value by testing its shape against alternatives and binding its parts in one expression
  4. D.Sum type — a composite type formed by combining other types through choice or grouping
Reveal the answer + AI explanation — free account

7. What is Product type?

Mid
  1. A.a composite type formed by combining other types through choice or grouping
  2. B.a composite type whose value is exactly one of several named alternatives, also called a tagged union
  3. C.writing routines and types that work uniformly over any type via type parameters, also known as generics
  4. D.a composite type that holds several values together at once, such as a record or tuple
Reveal the answer + AI explanation — free account

9. Which statement is correct?

Mid
  1. A.Product type — a composite type formed by combining other types through choice or grouping
  2. B.Product type — a composite type that holds several values together at once, such as a record or tuple
  3. C.Product type — writing routines and types that work uniformly over any type via type parameters, also known as generics
  4. D.Product type — deconstructing a value by testing its shape against alternatives and binding its parts in one expression
Reveal the answer + AI explanation — free account

10. What is Pattern matching?

Mid
  1. A.deconstructing a value by testing its shape against alternatives and binding its parts in one expression
  2. B.writing routines and types that work uniformly over any type via type parameters, also known as generics
  3. C.a composite type formed by combining other types through choice or grouping
  4. D.a composite type that holds several values together at once, such as a record or tuple
Reveal the answer + AI explanation — free account

12. Which statement is correct?

Mid
  1. A.Pattern matching — a composite type formed by combining other types through choice or grouping
  2. B.Pattern matching — a composite type that holds several values together at once, such as a record or tuple
  3. C.Pattern matching — deconstructing a value by testing its shape against alternatives and binding its parts in one expression
  4. D.Pattern matching — writing routines and types that work uniformly over any type via type parameters, also known as generics
Reveal the answer + AI explanation — free account

13. What is Parametric polymorphism?

Senior
  1. A.deconstructing a value by testing its shape against alternatives and binding its parts in one expression
  2. B.a composite type that holds several values together at once, such as a record or tuple
  3. C.a composite type whose value is exactly one of several named alternatives, also called a tagged union
  4. D.writing routines and types that work uniformly over any type via type parameters, also known as generics
Reveal the answer + AI explanation — free account

15. Which statement is correct?

Senior
  1. A.Parametric polymorphism — a composite type whose value is exactly one of several named alternatives, also called a tagged union
  2. B.Parametric polymorphism — a composite type that holds several values together at once, such as a record or tuple
  3. C.Parametric polymorphism — writing routines and types that work uniformly over any type via type parameters, also known as generics
  4. D.Parametric polymorphism — deconstructing a value by testing its shape against alternatives and binding its parts in one expression
Reveal the answer + AI explanation — free account

Free to start

Answers, AI explanations, and a scored voice mock interview

Sign up free to check your answers with explanations, ask the AI tutor anything on any question, and take one full AI mock interview — scored like a real panel.

Practice Type Concepts free