[ Content | View menu ]

Constructing List Homomorphism from Left and Right Folds

February 10, 2008

Back in 2003, my colleagues there were discussing about the third homomorphism theorem — if a function f can be expressed both as a foldr and a foldl, there exists some associative binary operator ⊚ such that f can be computed from the middle. The aim was to automatically construct ⊚.

[More ...] - 1 Comments
Tags: , .