http://conal.net/blog/posts/reactive-values-from-the-future/ Inspirations & experiments, mainly about denotational programming in Haskell Tue, 09 Mar 2010 23:08:02 +0000 http://wordpress.org/?v=2.9.1 hourly 1 http://conal.net/blog/posts/reactive-values-from-the-future/comment-page-1/#comment-13720 Conal Elliott » Blog Archive » Another angle on functional future values Mon, 05 Jan 2009 04:01:30 +0000 http://conal.net/blog/posts/reactive-values-from-the-future/#comment-13720 <p>[...] choice as a way to implement Reactive, a library for functional reactive programming (FRP). (See Reactive values from the future and Simply efficient functional reactivity.) Over the last few days, I’ve given some thought [...]</p> [...] choice as a way to implement Reactive, a library for functional reactive programming (FRP). (See Reactive values from the future and Simply efficient functional reactivity.) Over the last few days, I’ve given some thought [...]

]]> http://conal.net/blog/posts/reactive-values-from-the-future/comment-page-1/#comment-12218 Conal Elliott » Blog Archive » Simplifying semantics with type class morphisms Tue, 02 Dec 2008 18:26:56 +0000 http://conal.net/blog/posts/reactive-values-from-the-future/#comment-12218 <p>[...] Reactive values, time functions, and future values are also morphisms on Functor, Applicative, and Monad. [...]</p> [...] Reactive values, time functions, and future values are also morphisms on Functor, Applicative, and Monad. [...]

]]> http://conal.net/blog/posts/reactive-values-from-the-future/comment-page-1/#comment-73 Conal Elliott » Blog Archive » Pairs, sums, and reactivity Mon, 18 Feb 2008 05:40:34 +0000 http://conal.net/blog/posts/reactive-values-from-the-future/#comment-73 <p>[...] (or “reactive values“) and events are inter-related. In particular, we can make a behavior from an initial value [...]</p> [...] (or “reactive values“) and events are inter-related. In particular, we can make a behavior from an initial value [...]

]]> http://conal.net/blog/posts/reactive-values-from-the-future/comment-page-1/#comment-69 Conal Elliott » Blog Archive » Applicative bots Fri, 15 Feb 2008 17:32:35 +0000 http://conal.net/blog/posts/reactive-values-from-the-future/#comment-69 <p>[...] and following) have boilerplate Applicative instances, and (b) the leading type corresponds to varying (reactive) values. Today I realized that those boilerplate instances are not very useful, and that they do not [...]</p> [...] and following) have boilerplate Applicative instances, and (b) the leading type corresponds to varying (reactive) values. Today I realized that those boilerplate instances are not very useful, and that they do not [...]

]]> http://conal.net/blog/posts/reactive-values-from-the-future/comment-page-1/#comment-61 Conal Elliott » Blog Archive » Functional reactive partner dancing Tue, 12 Feb 2008 06:16:48 +0000 http://conal.net/blog/posts/reactive-values-from-the-future/#comment-61 <p>[...] One of the puzzles I’ve had about arrow-based reactivity is how to distinguish between events and reactive values. The lead/follow dance provides an answer. Here are the definitions, from Reactive values from the future. [...]</p> [...] One of the puzzles I’ve had about arrow-based reactivity is how to distinguish between events and reactive values. The lead/follow dance provides an answer. Here are the definitions, from Reactive values from the future. [...]

]]> http://conal.net/blog/posts/reactive-values-from-the-future/comment-page-1/#comment-35 Conal Elliott » Blog Archive » Invasion of the composable Mutant-Bots Wed, 06 Feb 2008 06:22:30 +0000 http://conal.net/blog/posts/reactive-values-from-the-future/#comment-35 <p>[...] a few recent posts, I’ve been writing about new basis for functional reactive programming (FRP), [...]</p> [...] a few recent posts, I’ve been writing about new basis for functional reactive programming (FRP), [...]

]]> http://conal.net/blog/posts/reactive-values-from-the-future/comment-page-1/#comment-15 Pages tagged "elegant" Sat, 26 Jan 2008 04:49:44 +0000 http://conal.net/blog/posts/reactive-values-from-the-future/#comment-15 <p>[...] bookmarks tagged elegant Conal Elliott: Reactive values from the future saved by 4 others     rawanselkhi12 bookmarked on 01/25/08 | [...]</p> [...] bookmarks tagged elegant Conal Elliott: Reactive values from the future saved by 4 others     rawanselkhi12 bookmarked on 01/25/08 | [...]

]]>