Mercurial > hg > ishara

view general/funutils/TODO @ 38:9d24b616bb06

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added function algebra.
author samer
date Tue, 29 Jan 2013 15:59:01 +0000
parents 03694e5c8365
children
line wrap: on
line source
Think about algebra of function handles - scanner_add_plotter etc
are special cases function combinators. What is the most general language
for function algebra? Is it the arrow algebra restricted to functional arrows?


Function combinators
	composition :        f*g(x) = f(g(x))
	parallel composition f+g(x,y)=f(x),g(y)

Function types
	state transformers: S->S
	scanner:            Y,X->Y
	folder:             X,S->S
	accum:              Y,S->X,S

Current special cases:
	scanner_add_plotter
	decorate

Also what about actions? (Function with side-effects or dependence on global state)