Lukas' Notes

Functional Programming

Jan 29, 20261 min read

programming

Definition

Functional Programming

In functional programming, functions are treated as data and replace control structures.

  1. side effects are forbidden ⟹ aliases do not produce extra noise (referential transparency)
  2. modularisation is important, lambda abstraction, nominal abstraction, structural abstraction

Graph View

Backlinks

  • Dafny

Created with Quartz v4.4.0 © 2026

  • GitHub