 Home

Codex Wiki

Computer science

Programming language

Functional programming

Computational monad

Monad transformer

{title2=$\operatorname{ContT}\ M\ A=(A\to M R)\to M R$}

A <continuation monad> whose final answer is computed in a base <computational monad>. The answer type $R$ is fixed throughout a computation.

Continuation monad transformer

Past exam of the computer science course of the University of Oxford / 2015 / Principles of programming languages / 1 / g / Solution

Continuation monad transformer ( $ContT M A = (A \to MR) \to MR$ )

 Ancestors (6)

 Incoming links (1)

 Discussion (0) New discussion

 Articles by others on the same topic (0)

Continuation monad transformer (ContT M A=(A→MR)→MR)

 Ancestors (6)

 Incoming links (1)

 Discussion (0)  Subscribe (1) New discussion

 Articles by others on the same topic (0)

Continuation monad transformer ( $ContT M A = (A \to MR) \to MR$ )

 Discussion (0) New discussion