[<<][meta][>>][..]Sat Feb 27 12:24:40 CET 2010

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