Sat Feb 27 12:24:40 CET 2010

Functional analysis

In the RatFunc.hs implementation, can we somehow use the fact that a
history is necessarily finite (data, not codata like streams) since it
is folded over?

B.t.w is there a relation between data/codata and the Banach space
concept of signal/filter (DSP-engineering speak)?  I probably mean L^p

I.e. if I recall there are theorems about H1 and Hinf norms for Banach
spaces that are used in control theory, and a symmetric version for H2
norm for Hilbert spaces.

[1] http://en.wikipedia.org/wiki/Functional_analysis
[2] http://en.wikipedia.org/wiki/Lp_space
[3] http://donsbot.wordpress.com/2010/02/26/fusion-makes-functional-programming-fun/