[reactive] 'stateE' --> 'mealy'

Conal Elliott conal at conal.net
Tue Nov 25 22:23:37 EST 2008


Thanks for the reality check, Robin.  Hm.  Any suggestions (from anyone) on
what to name this thing?  On the other hand, maybe it's not worth keeping.

  - Conal

On Tue, Nov 25, 2008 at 11:11 AM, Robin Green <greenrd at greenrd.org> wrote:

> On Mon, 24 Nov 2008 20:27:34 -0800
> "Conal Elliott" <conal at conal.net> wrote:
>
> > I renamed 'stateE' and 'stateE_' to' mealy' and 'mealy_' in
> > reactive-0.9.4 (just released).  I've been meaning to change these
> > names for a while now. I prefer these new names as being more clear &
> > specific and connecting clearly to automata theory rather than to
> > imperative programming.
>
> I don't think mealy is as general as a Mealy machine, so this seems
> misleading. A Mealy machine can jump to different states depending on
> its input. If 's' is the state type, and 'b' the input type (which
> seems to me to be the natural way to interpret it), that
> "conditional jumping" feature isn't present.
>
> I think
>
> \f g a e -> f <$> scanlE g a e
>
> is precisely a *Moore* machine, though? If so, scanlE is a particular
> kind of Moore machine in which f is the identity. And so are the other
> scanl* functions in the library - right?
> --
> Robin
> _______________________________________________
> Reactive mailing list
> Reactive at haskell.org
> http://www.haskell.org/mailman/listinfo/reactive
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/reactive/attachments/20081125/934e745a/attachment.htm


More information about the Reactive mailing list