Functional programming is a programming paradigm that focuses on constructing programs using functions and treating them as first-class citizens. It emphasizes declarative and composable style, where small functions are combined in a modular manner. Purely functional programming, a subset of functional programming, restricts side effects and is believed to result in fewer bugs, easier debugging and testing, and better formal verification. Many functional languages are used in industry and education, and elements of functional programming can be found in various other programming languages.
University of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more concepts