Mercurial > hg > ishara
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) |