Re: [Haskell-cafe] Instances for continuation-based FRP

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." -
Jacques Hadamard
"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 wrote: 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.pdfThe... 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.
participants (1)
-
Conal Elliott