[Haskell-cafe] Instances for continuation-based FRP
conal at conal.net
Thu Apr 25 05:11:00 CEST 2013
The intuition intrigues me. If, upon inspection, it survives morphs into
something else, I'd like to hear about it.
Good luck! -- Conal
"The object of mathematical rigor is to sanction and legitimize the
conquests of intuition, and there was never any other object for it." -
"I call intuition cosmic fishing. You feel a nibble, then you've got to
hook the fish." -- Buckminster Fullero
On Wed, Apr 24, 2013 at 7:26 PM, earl obscure <theanswertoproblems at gmail.com
> His description of the different frp approaches starts at section 2.1 of
> the thesis.
> http://www.testblogpleaseignore.com/wp-content/uploads/2012/04/thesis.pdfThen in 3.1 describes implementation of discrete signals. I don't think he
> gives a denotational semantics.
> I was thinking, the event, is the derivative of the specific continuous
> signal it corresponds to, all other continuous signals of the system held
> equal. Applying the partial derivative, is like sampling, or discrete time
> stepping. But it is samplying the entire state, or multivariate structure
> not just the specific symbol. This made more sense unarticulated. I'll
> need to think a bit.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe