More FRP stuff: a new type for Future that came to me in an
inspiration this morning. But it's ugly and I need someone with
better theoretical underpinnings than me to tell me what I've really
built :)
data Future t a =
Known t a
| Unknown (t - IO (STM (Maybe (Future t a
Given Eq t,
On Thu, Apr 24, 2008 at 11:10 PM, Ryan Ingram [EMAIL PROTECTED] wrote:
More FRP stuff: a new type for Future that came to me in an
inspiration this morning. But it's ugly and I need someone with
better theoretical underpinnings than me to tell me what I've really
built :)
data Future t