CSC 316 Functional Programming Exam 2019

About this paper

An End-of-Semester Examination for CSC 316 Functional Programming at the University of Buea Faculty of Science, dated 26/07/2019, instructed by Dr. William S. Shu. Q1 covers why OCaml is functional, a sorted-lists scammer-finding algorithm in pseudocode and OCaml, a zero-based natural-number union type, and a recursive addition function with a worked 4+2 example. Q2 covers lambda-calculus simplification by call-by-need and rightmost-outermost strategies, plus intensionality/extensionality and combinators. Q3 covers the simply-typed lambda calculus, typing rules, subtype polymorphism and variance, and covariance/contravariance of function types. Q4 covers the program/result relationship in semantics and operational semantics theory.