[an error occurred while processing this directive]
<meta NAME="ROBOTS" CONTENT="index,follow">
<meta NAME="keywords" CONTENT=" structure, function, algorithm, programming, pattern, software, functional, techniques, program, department, course, polymorphism, parametric, design, type, evaluation, matching, fundamental, order, university, remaining, recursion, lazy, computer, science, data, oxford, places, ability, tools, mathematics, held, lists, versus, higher, strict, modularisation, counterparts, exploration, perspectives, foundations, accumulation, imperative, dictionaries, abstraction, demonstrated, application, accompanying, composition, objectives, requirements, strategies, frequency, assessment, different, assignment, solutions, decreasing, importance, understood, familiarity, selection, engineering, reduction, preparation, language, provides, induction, particular, paradigm, normally, supporting, inference, discussing, expression, determine, students, problems, algebraic, contents, develop, vehicle, arguments, decisions, features, concisely, precisely, currying, resulting, criteria, intended, variety, easier, reason, discrete, suitable, tuples, haskell, elegant, assumes, arrays, ideal, solid, reuse, dates">
<meta name="DESCRIPTION" content="Functional Programming course Functional programs are easier to develop and reason about than their imperative counterparts This makes them an ideal vehicle for the exploration of data structures and modularisation Even if you don't plan to use a functional language in the future, this course provides the solid foundations for algorithm design and software reuse in any programming paradigm Frequency This course normally runs twice a year ">


<meta name="Edited" content="Wed, 21 May 2025 16:45:02 GMT">
<meta name="Published" content="Wed, 21 May 2025 16:45:06 GMT">

<title>Software Engineering at Oxford | Functional Programming ( FPR )</title>

<!-- icon -->
<link rel="shortcut icon" type="image/ico" href="../favicon.ico">

<script src="https://ssl.google-analytics.com/urchin.js" type="text/javascript"></script>
<script type="text/javascript">_uacct = "UA-1306673-1";urchinTracker();/*UA-579489-1*/</script>
<META name="verify-v1" content="CwYQSB0rDIbG5v7tQy+2xKxvNEoOxCNSFYYF7mSW7bo=" />
[an error occurred while processing this directive]

<div id="breadcrumb">
   
   <ul class="mainnav">
      <li>
         <a href="/">Computer Science</a></li><li><a href="/softeng/">Software Engineering</a>
      </li>
      <li>
         <a href="/softeng/courses/">Courses</a>
      </li>
      <li>
         <a href="/softeng/courses/subjects.html">Subjects</a>
      </li>
      <li>
         <span class="youarehere">Functional Programming ( FPR )</span>
      </li>
   </ul>
</div>


<!--
<span id="headerItem">
  <a href="../programme/contact.html" title="Contacts">Contact</a> | 
  <a href="../search/search.jsp" title="Search">Search</a> |
  <a href="../sitemap.html" title="Sitemap">Site map</a> | 
  <a href="https://www.softeng.ox.ac.uk/signin/" title="Sign in">Sign
  in</a>
</span>
-->

<div id="content">

<h1 style="vertical-align:middle"><img align="middle" valign="middle" style="vertical-align:middle" border="0" src="../images/FPR.jpg"> Functional Programming</h1>
      <div>
	
	<p><p>Functional programs are easier to develop and reason about than their imperative counterparts. This makes them an ideal vehicle for the exploration of data structures and modularisation. Even if you don't plan to use a functional language in the future, this course provides the solid foundations for algorithm design and software reuse in any programming paradigm.</p>
<h4>Frequency</h4>
<p>This course normally runs twice a year.</p></p>
<h4>Course dates</h4>
<center>
<table style="margin-left: 20px" width="95%">
<tr><td width="22%" valign="top">10th November 2025</td><td valign="top">Oxford University Department of Computer Science - Held in the Department</td><td valign="top" width="33%">08 places remaining.</td></tr>
<tr><td width="22%" valign="top">13th April 2026</td><td valign="top">Oxford University Department of Computer Science - Held in the Department</td><td valign="top" width="33%">11 places remaining.</td></tr>
</table>
</center>
<h4>Objectives</h4>
<p>At the end of the course, students will have seen a variety of
different techniques that may be used to structure problems and their
solutions.  They will gain new perspectives on algorithms, data design, and
functional abstraction.</p>
<h4>Contents</h4>
<p><dl>
<dt><span>Functions:</span></dt>
<dd>base types; tuples; program structure: selection and recursion; ad-hoc and parametric polymorphism.</dd>
<dt><span>Evaluation:</span></dt>
<dd>reduction strategies; order of evaluation; lazy versus eager and strict versus non-strict.</dd>
<dt><span>Lists:</span></dt>
<dd>pattern matching; recursion over lists; proof by induction; folds and accumulation.</dd>
<dt><span>Higher-order features:</span></dt>
<dd>function application and composition; type inference; currying; higher-order functions.</dd>
<dt><span>Data structures:</span></dt>
<dd>recursion patterns; trees; arrays; sets; dictionaries.</dd>
</dl>
<h4>Assessment criteria</h4>
<p>The assignment is intended to determine, in order of decreasing importance:</p>
<ul>
<li>have you understood the fundamental tools of functional programming: algebraic data types, pattern matching, higher-order functions, parametric polymorphism, and lazy evaluation?</li>
<li>have you demonstrated an ability to apply these fundamental tools and accompanying techniques to a particular case study?</li>
<li>do you have the ability to present clear arguments supporting design decisions and discussing trade-offs, concisely and precisely?</li>
<li>how fluent is your expression in Haskell, and how elegant is the resulting code?</li>
</ul></p>
<h4>Requirements</h4>
<p><p>The course assumes some familiarity with discrete mathematics: <a href="http://www.softeng.ox.ac.uk/subjects/SEM.html">Software engineering mathematics</a> would be a suitable preparation.</p></p>

	
      </div>

<br>

    
[an error occurred while processing this directive]

<!--  mainnav div starts -->
<div id="nav">     
 <h2 id="mainsections">Main sections</h2>
 
 <h2 id="inthissection">Programme</h2>
 <ul class="mainnav" >
  <li>
   <a href="../" title="Return to the Home page" class="menu" >Home</a>
  </li>
  <li>
   <a href="../programme/index.html" title="About the programme" class="menu">About</a>
  </li>
  <li>
   <a href="../programme/history.html" title="The history of the Programme"  class="menu">History</a>
  </li>
  <li>
   <a href="../programme/people.html" title="The people involved" class="menu">People</a>
  </li>
  <li>
   <a href="http://www.cs.ox.ac.uk" title="Department of Computer Science" class="menu">Department</a>
  </li>
  <li>
   <a href="../programme/contact.html" title="Getting in touch" class="menu">Contact us</a>
  </li>
  </ul>
  
  
  <h2 id="inthissection">Courses</h2>
  <ul class="mainnav">
  <li>
   <a href="../courses/" title="About the courses" class="menu">About</a>
  </li>
  <li>
   <a href="../courses/subjects.html" title="Subjects offered" class="currentsection">Subjects</a>
  </li>
  <li>
   <a href="../courses/calendar.html" title="Course dates" class="menu">Calendar</a>
  </li>
  <li>
   <a href="../courses/booking.html" title="How to book a place on a course" class="menu">Booking</a>
  </li>
  </ul>
  
  
  <h2 id="inthissection">Study</h2>
  <ul class="mainnav">
  <li>
   <a href="../study/" title="Flexible, postgraduate study" class="menu">About</a>
  </li>
  <li>
   <a href="../study/awards.html" title="Academic awards" class="menu">Awards</a>
  </li>
  <li>
   <a href="../study/fees.html" title="University fees" class="menu">Fees</a>
  </li>
  <li>
   <a href="../study/apply.html" title="How to apply" class="menu">Applications</a>
  </li>
  <li>
   <a href="../study/collegiate.html" title="Collegiate University" class="menu">Colleges</a>
  </li>
  </ul>
  
  
  <h2 id="inthissection">Resources</h2>
  <ul class="mainnav">
  <li>
   <a href="../handbook/" title="Handbook" class="menu">Handbook</a>
  </li>
  <li>
   <a href="../brochures/" title="Brochures" class="menu">Brochures</a>
  </li>
 </ul>



[an error occurred while processing this directive]