Zeta Usage Examples

Author: Roman Neuhauser
Contact: neuhauser@sigpipe.cz
Copyright: This document is in the public domain.

Contents

Each of these articles introduces a few parts of Zeta through several refactorings of an implementation of a Zeta element. These articles should be fairly self-contained, which means some overlap is inevitable. On the other hand, the topics are chosen to cover as much of Zeta as possible. Where the articles do overlap, the function in question is presented from a different angle, if possible.

Refactoring min(lhs, rhs), max(lhs, rhs)

Refactoring min(lhs, rhs), max(lhs, rhs) documents a refactoring of the (shared) implementation of the max and min operators.

Refactoring unique(eqfun, arr)

Refactoring unique(eqfun, arr) presents a refactoring of an implementation of the unique algorithm.

Refactoring composex(fs)

Refactoring composex(fs) builds on the material presented in Refactoring unique(eqfun, arr).