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 […]