Comments on: Functional reactive chatter-bots http://conal.net/blog/posts/functional-reactive-chatter-bots Inspirations & experiments, mainly about denotative/functional programming in Haskell Sat, 26 Sep 2020 21:06:12 +0000 hourly 1 http://wordpress.org/?v=4.1.17 By: Conal http://conal.net/blog/posts/functional-reactive-chatter-bots#comment-167359 Sat, 26 Sep 2020 21:06:12 +0000 http://conal.net/blog/posts/invasion-of-the-composable-mutant-bots/#comment-167359

It doesn’t compile for me — did it compile in 2008?

Yes. We had this general, useful, consistent notation and lost it for the convenience of using “+” and “*” for type-level natural numbers.

]]> By: Gregory Travis http://conal.net/blog/posts/functional-reactive-chatter-bots#comment-167351 Sat, 26 Sep 2020 20:36:12 +0000 http://conal.net/blog/posts/invasion-of-the-composable-mutant-bots/#comment-167351 I’m curious about the first (~>) in this syntax:

    newtype StreamArrow (~>) b c = Str (Stream b ~> Stream c)

It doesn’t compile for me — did it compile in 2008?

]]> By: Conal Elliott » Blog Archive » Pairs, sums, and reactivity http://conal.net/blog/posts/functional-reactive-chatter-bots#comment-50 Mon, 18 Feb 2008 06:18:03 +0000 http://conal.net/blog/posts/invasion-of-the-composable-mutant-bots/#comment-50 […] Functional reactive chatter-bots […]

]]> By: Conal Elliott » Blog Archive » Functional reactive partner dancing http://conal.net/blog/posts/functional-reactive-chatter-bots#comment-49 Tue, 12 Feb 2008 06:16:15 +0000 http://conal.net/blog/posts/invasion-of-the-composable-mutant-bots/#comment-49 […] The code described (with documentation and examples) here may be found in the new, experimental library Bot (which also covers mutant-bots and chatter-bots). […]

]]> By: Conal Elliott » Blog Archive » Accumulation for functional reactive chatter-bots http://conal.net/blog/posts/functional-reactive-chatter-bots#comment-48 Sun, 10 Feb 2008 05:47:08 +0000 http://conal.net/blog/posts/invasion-of-the-composable-mutant-bots/#comment-48 […] About « Functional reactive chatter-bots […]

]]>