Skip to main content


Association for Computing Machinery at the University of South Carolina

Functional Languages and Type Systems


Justin Baum

We will discuss referential transparency, immutability, and its contrast with object oriented languages. We will also talk briefly about type safety and why using languages like Rust, Haskell, OCaml, Go, and others can bring a lot of utility above C++ and others. Today many languages are multi-paradigm and even languages like Python support many functional language capabilities, and it is important to have the ability to use functional techniques in modern software engineering.