Hello,
In FP by John Backus, things like composition, construction, condition,
are what he calls "functionals". In the language, they appear to be
syntax as opposed to functions:
f o g
[f,g,h]
f -> g ; h
Lately I've been using these sorts of constructs in Scheme. Moreover, I
also have been defining them as syntax (macros).
So... my question is, is "functional" an accepted term for these constructs?
I currently have them in a library (dharmalab combinators macros). But
since they're syntax, it doesn't feel right having them under
combinators. So maybe (dharmalab functionals) would be good.
Some "functionals" experiments:
http://github.com/dharmatech/dharmalab/raw/master/combinators/macros.sls
The 'cleave' is similar to FP's 'construction'.
Read up on FP:
http://en.wikipedia.org/wiki/FP_(programming_language)
http://www.stanford.edu/class/cs242/readings/backus.pdf
Run FP:
http://www.call-with-current-continuation.org/fp
Ed
