CSC 316 Functional Programming Exam 2022

About this paper

An End-of-Semester Examination for CSC 316 Functional Programming at the University of Buea Faculty of Science, dated Tuesday 21/06/2022, instructed by Dr. William Shu and Mr. Roger Mawoh. Q1 requires implementing OCaml set operations (union, intersection, difference) and list quantifiers/filter (forall, exists, filter) with worked examples. Q2 covers evaluation strategies (normal order, call-by-need, call-by-value), a call-by-name beta-reduction of a multi-step lambda expression, and Church encodings/Church booleans. Q3 covers axiomatic/denotational/operational semantics and a denotational semantics for a restricted Roman-numeral BNF grammar with two worked evaluations. Q4 covers type safety/checking/reconstruction, substitution/unification, typed stores for imperative side effects, and existential types for modules/ADTs with witness types. A handwritten 'DANNY' annotation was excluded as incidental personal information.