Lukas' Notes

Functional Programming

May 01, 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
  • Monad

Created with Quartz v4.4.0 © 2026

  • GitHub