[<<][meta][>>][..]

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
spaces[2].

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/



[Reply][About]
[<<][meta][>>][..]