annotate general/funutils/TODO @ 13:03694e5c8365

Reorganised some high order list functions to correct class-based method dispatch; fixed some docs.
author samer
date Wed, 16 Jan 2013 12:12:34 +0000
parents fbc0540a9208
children 9d24b616bb06
rev   line source
samer@12 1 Think about algebra of function handles - funseq, scanner_add_plotter etc
samer@12 2 are special cases function combinators. What is the most general language
samer@12 3 for function algebra? Is it the arrow algebra restricted to functional arrows?
samer@12 4
samer@12 5
samer@12 6 Function combinators
samer@12 7 composition : f*g(x) = f(g(x))
samer@12 8 parallel composition f+g(x,y)=f(x),g(y)
samer@12 9
samer@12 10 Function types
samer@12 11 state transformers: S->S
samer@12 12 scanner: Y,X->Y
samer@12 13 folder: X,S->S
samer@12 14 accum: Y,S->X,S
samer@12 15
samer@13 16 Current special cases:
samer@13 17 scanner_add_plotter
samer@13 18 decorate
samer@13 19
samer@12 20 Also what about actions? (Function with side-effects or dependence on global state)