{-# LANGUAGE FlexibleInstances #-} Having An Effect This blog post will be on denotational semantics, the sister of operational semantics, and how to make it more modular. Denotational semantics is a compositional mapping from expressions in a language to something else. (Oleg Kiselyov, 2017) What that something else is, the author of the denotational semantics […]

Lambda for all

Show all | Show only code Lambda calculus (1) My previous blog post on functional programming was about continuations. This is a more advanced topic. For some readers there might be basics missing. One of these could be the lambda calculus. When I first encountered the lambda calculus I didn’t quite get it. It all […]