Ticket #1 (new defect)

Opened 5 years ago

Last modified 4 years ago

Recursive integration (ODEs) lock up

Reported by: conal Owned by: wchogg
Priority: major Milestone:
Version: Keywords: integration, termination
Cc:

Description

Perhaps other self-reactive behaviors as well. I defined the semantics of reactivity carefully to allow this sort of thing to be meaningful and work. The problem might be a little over-strictness, or it could be deeper.

Change History

in reply to: ↑ description   Changed 5 years ago by wchogg

  • owner changed from somebody to wchogg

Replying to conal:

Perhaps other self-reactive behaviors as well. I defined the semantics of reactivity carefully to allow this sort of thing to be meaningful and work. The problem might be a little over-strictness, or it could be deeper.

So I've started working a bit on this, but without a lot of clear progress yet. For the sake of posterity, the problem can be reproduced rather quickly be scheduling the following Behavior via mkUpdater

x :: Event () -> Behavior Double x e = b where b = pure (+1) <*> integral e b

I also tried with a purely Reactive integral instead of Behavior with, unsurprisingly, similar results.

follow-up: ↓ 3   Changed 4 years ago by povman

Has any work been done on this, or should I spend a bit of effort trying to fix it?

in reply to: ↑ 2   Changed 4 years ago by conal

Replying to povman:

Has any work been done on this, or should I spend a bit of effort trying to fix it?

I know of no work lately. I've been awaiting inspiration and/or interested help.

Note: See TracTickets for help on using tickets.