CMSC488B

Prerequisite: Minimum grade of C- in CMSC330 and CMSC351. Restriction: Permission of CMNS-Computer Science department; or must be in one of the following programs (Computer Science (Master's); Computer Science (Doctoral)). Advanced functional programming using Haskell. Students will be introduced to a range of modern software engineering practices, in particular those embodied in typed, functional programming languages. Basic knowledge of functional programming in the form of OCaml (from 330) is assumed, but not prior knowledge of Haskell. Basic topics will include typeclasses, monads, and property-based testing; advanced topics may include high-level type system features such as GADTs, verification with Liquid Haskell, and practical application development, with invited talks from industry and academia experts.