[Haskell-cafe] Why Haskell?

[Antonio Regidor Garcia]

The STM is stateful (mutable state, thus impure) but it only changes the RAM, contrary to IO, that can change from the screen to missile launchers (so potentially much harmful). So the STM is deliberately separated from IO and similar monads. That's the point of using it. I don't have much experience combining it with non-IO monads, though.

El Mon, Mar 29, 2021 at 07:11:49PM +0800, YueCompl escribió:
> But AFAICT, STM composes poorly with other monads in today's mtl fashion, and by itself I don't think effects are tracked sufficiently well. 
> 
> I'm not aware of an idiomatic way to properly have STM in a monad stack, or is it there?
> 
> > On 2021-03-29, at 16:12, Antonio Regidor Garcia <chikitosan at gmail.com> wrote:
> > 
> > XD XD XD It seems a sales talk about his STM monad, something like "Haskell is useless but Haskell+STM is in the good direction". So:
> > 
> > Haskell 1.2 (stream-based IO): stateless, useless
> > Haskell 1.3+ (monadic IO): statefull, but too coarse-grained, still useless
> > Haskell 98/2010 + STM: more fine-grained statefullness, becoming usefull
> > 
> > Best,
> > 
> > Antonio
> > 
> > El Mon, Mar 29, 2021 at 03:35:42PM +0800, YueCompl via Haskell-Cafe escribió:
> >> https://www.reddit.com/r/programming/comments/25m291/simon_peyton_jones_haskell_is_useless/ <https://www.reddit.com/r/programming/comments/25m291/simon_peyton_jones_haskell_is_useless/> <https://www.reddit.com/r/programming/comments/25m291/simon_peyton_jones_haskell_is_useless/ <https://www.reddit.com/r/programming/comments/25m291/simon_peyton_jones_haskell_is_useless/>>
> >> 
> >> That might be sth you'd like to hide from the manager, but better prepared for himself to discover about.
> >> 
> >> Years have passed though, I'm very curious how situations have changed according to SPJ's criteria.
> >> 
> >>> On 2021-03-29, at 08:24, Clinton Mead <clintonmead at gmail.com> wrote:
> >>> 
> >>> I’m looking for recommendations of videos/articles to show to a software development manager about why one should use Haskell, focused more from a benefits to business perspective. 
> >>> 
> >>> Naturally this may involve some code, this manager isn’t completely clueless when it comes to programming languages, but basically something that explains why I’m raving about this “Haskell” thing all the time and why it’s a good idea.
> >>> 
> >>> Thanks,
> >>> Clinton
> >>> _______________________________________________
> >>> Haskell-Cafe mailing list
> >>> To (un)subscribe, modify options or view archives go to:
> >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> >>> Only members subscribed via the mailman list are allowed to post.
> >> 
> > 
> >> _______________________________________________
> >> Haskell-Cafe mailing list
> >> To (un)subscribe, modify options or view archives go to:
> >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> >> Only members subscribed via the mailman list are allowed to post.
> > 
> > _______________________________________________
> > Haskell-Cafe mailing list
> > To (un)subscribe, modify options or view archives go to:
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe <http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe>
> > Only members subscribed via the mailman list are allowed to post.
>