[Haskell] Re: The real Warm, fuzzy thing Transformer

[apfelmus]

Henning Thielemann wrote:
> It was argued that people avoid Haskell because of terms from Category
> theory like 'Monad'. This problem can now be solved by a wrapper which
> presents all the WWW without monads! Start e.g. at
>  http://saxophone.jpberlin.de/MonadTransformer?source=http%3A%2F%2Fwww%2Ehaskell%2Eorg%2Fhaskellwiki%2FCategory%3AMonad&language=English

This Warm, fuzzy thing Transformer is really brilliant :D
As hinted by

http://saxophone.jpberlin.de/MonadTransformer?source=http%3A%2F%2Fmembers%2Echello%2Enl%2Fhjgtuyl%2Ftourdemonad%2Ehtml&language=English

I can now use warm, fuzzy things directly in Hugs ;)

__   __ __  __  ____   ___      ______________________________________
||   || ||  || ||  || ||__      Hugs 98: Based on the Haskell 98 stand
||___|| ||__|| ||__||  __||     Copyright (c) 1994-2005
||---||         ___||           World Wide Web: http://haskell.org/hugs
||   ||                         Report bugs to: hugs-bugs at haskell.org
||   || Version: May 2006       _________________________________________

Haskell 98 mode: Restart with command line option -98 to enable extensions

Type :? for help
Hugs> :l Warm, fuzzy thing
Warm, fuzzy thing> :i (Warm, fuzzy thing)
-- constructor class
infixl 1 >>=
infixl 1 >>
class (Warm, fuzzy thing) a where
  return :: b -> a b
  (>>=) :: a b -> (b -> a c) -> a c
  (>>) :: a b -> a c -> a c
  fail :: String -> a b

-- instances:
instance (Warm, fuzzy thing) Maybe
instance (Warm, fuzzy thing) []
instance (Warm, fuzzy thing) IO

Warm, fuzzy thing> sequence $ words "Warm, fuzzy thing"
["M","o","n","a","d"]

Oh, this output is unexpectedly cold and clear.


Regards,
apfelmus