No subject

Tue Nov 30 21:47:11 CET 2010

explanation how Reader
is constructed step-by-step.

As far as I know, there has been code for Reader monad in Haskell Wiki.
Unfortunately,
after it has been migrated, "page not found" error has become not very
uncommon on it, and
either i was not able to found it, or it really is missing.

Out of practical considerations, library authors decided to define more
complicated ReaderT monad transformer,
because it can be made to behave as Reader if the former wraps Identity
monad.

Hope this helps.

--00163616494fee7cf304989018fd
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

2010/12/29 michael rice &lt;<a href=3D"mailto:nowgate at yahoo.com">no=
wgate at yahoo.com</a>&gt; &gt; &gt; From the docs (and tuts) newtype cr=
eates a new type out of an existing type &gt; and gives a single constru=
ctor for doing so. 
&gt; &gt; what is the existing type? Michael, you may want to=
 see this section: <a href=3D"http://learnyouahaskell.com/functors-appli=
cative-functors-and-monoids#the-newtype-keyword">http://learnyouahaskell.co=
m/functors-applicative-functors-and-monoids#the-newtype-keyword</a> 
and also section titled &quot;type vs. newtype vs. data&quot; below. It has=
 good explanation why there is at least three keywords in Haskell to def=
ine types, and which of them do what. And how they do it. From my ex=
perience, this book in a whole could be useful to you. It also has explanat=
ion how Reader 
is constructed step-by-step. As far as I know, there has been code f=
or Reader monad in Haskell Wiki. Unfortunately, after it has been migrat=
ed, &quot;page not found&quot; error has become not very uncommon on it, an=
d 
either i was not able to found it, or it really is missing. Out of p=
ractical considerations, library authors decided to define more complicated=
 ReaderT monad transformer, because it can be made to behave as Reader =
if the former wraps Identity monad. 
 Hope this helps.

--00163616494fee7cf304989018fd--