DM 1st Year Revision

Search

SearchSearch
      • Abstract Classes
      • Arrays, Methods, Scope and Recursion
      • Concurrency
      • Conditional Statements
      • Debugging
      • Error Handling and Exceptions
      • Generics
      • Inheritance
      • Iteration
      • Lambdas and Streams
      • Modifiers
      • Objects
      • Reflection
      • Testing
      • Variables
      • Booleans and their Operators
      • Cantor's Theorem
      • Equivalence Relations
      • Functions & Their Properties
      • Greatest Common Divisors
      • Groups and Subgroups
      • Induction
      • Modular Arithmetic
      • Operations on Functions
      • Operations on Sets (Union and Intersection)
      • Ordered Pairs & Cartesian Products
      • Partitions
      • Pigeonhole Principle
      • Proofs
      • Quantifiers, their laws
      • Quotients and the Integers
      • Recursion
      • Relations
      • Russell's Paradox
      • Sets, Subsets and Power Sets
      • Truth Tables
      • Well-Defined Functions
      • Bifurcations
      • Difference Equations
      • Dimensional Analysis
      • First Order ODEs
      • Nondimensionalisation
      • Second Order ODEs
      • Stationary Points and Stability
      • Systems of Equations
      • CS118 - Programming for Computer Scientists
      • CS126 - Design of Information Structures
      • CS141 - Functional Programming
      • CS146 - Discrete Maths and its Applications 1
      • CS147 - Discrete Maths and its Applications 2
      • MA138 - Sets and Numbers
      • MA142 - Calculus 1
      • MA143 - Calculus 2
      • MA145 - Mathematical Methods and Modelling 2
      • MA147 - Mathematical Methods and Modelling 1
      • MA149 - Linear Algebra
      • ST120 - Introduction to Probability
    • Exams Dashboard

CS141 - Functional Programming

Mar 30, 20241 min read

Back to Exams Dashboard

Module Information

Module

  • 15 CATS
  • Optional
  • Module Link

Exam

  • Summer Exams
  • 60%

Topics

  • Definitions
  • Types
  • Tuples
  • Lists
  • Currying
  • List Comprehensions
  • Type Classes
  • Ad-hoc Polymorphism
  • Evaluation
  • Data Types
  • Higher Order functions
  • Folding
  • Fixity
  • Algebraic Data Types, Cardinality of Types
  • Recursive Data Types - Functor and Foldable
  • Trees
  • Record Syntax
  • Subtype Polymorphism
  • Kinds
  • Monoids
  • Semigroups
  • Functions as Values, the Function Arrow
  • Functions as Semigroups and Monoids
  • Data and Control Functors
  • Applicative Functors
  • Monads
  • Do notation
  • Monadic Parsing
  • Infinite Loops
  • Best Practices
  • Module Information
  • Topics

Created with Quartz v4.2.3 © 2024