[Haskell-cafe] What is your favourite Haskell "aha" moment?
tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Mon Jul 16 06:44:31 UTC 2018
On Sat, Jul 14, 2018 at 10:17:43AM +0300, Paul wrote:
> > Once the FSM holds more than a dozen states, these advantages evaporate.
> This is point only where I can not agree. I used FSM with hundreds
> states/transitions. It was automatically generated, I only check them.
> Also I know that in car automatics FSM are widely used (BMW, Mercedes,
> Audi). Also it’s using in software for space industry widely. My IMHO
> is: FSM is most reliable way to do soft without bugs. Also it’s easy to
> verify them (for example, with transitions’ assertions)
It's interesting to see all this chat about FSMs, when FSMs are essentially
"just" a tail recursive function on a sum type.
More information about the Haskell-Cafe