ezyang’s blog

the arc of software bends towards understanding

Comonads and Convolutions

> {-# LANGUAGE GeneralizedNewtypeDeriving #-} > import Control.Comonad > import Data.List That scary Control.Comonad import from category-extras is going to be the subject of today's post. We're going to look at one possible implementation of comonads for non-empty lists that model causal time-invariant systems, systems whose outputs depend only on inputs that are in the […]

  • February 22, 2010