# blog

Vanessa McHale's blog (1)
• ## There Are Two Monadic Zygomorphisms

The "obvious" way to write a monadic zygomorphism is to look at the definition for an ordinary zygomorphism, namely

• ## Termination Checking Is Theorem Proving

The totient function is defined for positive integers as:

• ## Projective Programming

I read a recent Functional Pearl by Hinze and this inspired me to write up an example of projective programming and its motivation in logic/model theory.

• ## Performance Implications of FP in ATS

Here I would like to present benchmarks associated with my past post comparing different methods of summing the first $$n$$ numbers. In each case, we benchmarked sum(200), that is, $$\sum_{i=1}^{200} i$$.

• ## Variations on a Theme II

A set of curated examples to show ATS' capacities for functional and imperative programming, wherein we sum the numbers $$1..n$$ many times: