[Haskell-cafe] Instances for continuation-based FRP

[Conal Elliott]

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 <theanswertoproblems at gmail.com
> 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.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...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130424/f0d661f5/attachment.htm>