Alaska Ataca a Kamtchatka

This post might seem to be in apparent contradiction: Ocamlnet is a large, very opinionated framework for network programming that solves m...

The so-called master-transaction update is one of the, if not the defining algorithms of the discipline formerly known as "data proce...

You don't have to be writing an interpreter or some other kind of abstract code to profit from some phantom types. Suppose you have two ...

This is for the record, since the derivations took me a while and I'd rather not lose them. A functor is the signature: module typ...

While proving that every monad is an applicative functor, I extracted the following derivation as a lemma: fmap f ∘ (λh. fmap h x) ≡ { ...