id summary reporter owner description type status priority milestone version resolution keywords cc 16 Rename 'mealy' function conal "As [http://www.haskell.org/pipermail/reactive/2008-November/000101.html Robin Green pointed out] > On Mon, 24 Nov 2008 20:27:34 -0800 > ""Conal Elliott"" 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 " defect new major