Personal tools

Talk:The Monad.Reader

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
Line 12: Line 12:
   
 
--[[User:Pharm|Pharm]] 11:26, 1 February 2007 (UTC) (I have an ordinary 4:3 screen at home though. TBH the twosided thing doesn't bother me either way...)
 
--[[User:Pharm|Pharm]] 11:26, 1 February 2007 (UTC) (I have an ordinary 4:3 screen at home though. TBH the twosided thing doesn't bother me either way...)
  +
  +
--[[User:Mnislaih|Mnislaih]] 13:50, 3 February 2007 (UTC)
  +
Wow! This issue of TMR is excellent. I am loving the tutorial style of all the three articles. Right now I'm in section 2 of Russell's excellent assembler and found that the newtype definition for the AssemblyCodeMonad needs to be:
  +
<haskell>
  +
newtype AssemblyCodeMonad a =
  +
AssemblyCodeMonad
  +
(RWS [(Label,Location)]
  +
[Either (Instruction Register) (Label,Location)]
  +
(Location, Integer)
  +
a)
  +
deriving (Monad, MonadReader [(Label,Location)],
  +
MonadWriter [Either (Instruction Register) (Label,Location)],
  +
MonadState (Location, Integer))
  +
</haskell>

Revision as of 13:50, 3 February 2007

I'd welcome any feedback and discussion about The Monad.Reader. Don't like the class file? Love the articles? Shout it out! --WouterSwierstra 10:38, 31 January 2007 (UTC)


The layout

I think the twosided should be dropped from the latex class file, that would make it a lot more pleasant to read on a screen.

--Twanvl 13:50, 31 January 2007 (UTC)

Although those of use with wide screens quite like putting the pdf up in 2-page side-by-side mode in which the twosided option looks better!

--Pharm 11:26, 1 February 2007 (UTC) (I have an ordinary 4:3 screen at home though. TBH the twosided thing doesn't bother me either way...)

--Mnislaih 13:50, 3 February 2007 (UTC) Wow! This issue of TMR is excellent. I am loving the tutorial style of all the three articles. Right now I'm in section 2 of Russell's excellent assembler and found that the newtype definition for the AssemblyCodeMonad needs to be:

newtype AssemblyCodeMonad a = 
  AssemblyCodeMonad
     (RWS [(Label,Location)]
          [Either (Instruction Register) (Label,Location)]
          (Location, Integer)
          a)
  deriving (Monad, MonadReader [(Label,Location)], 
                MonadWriter [Either (Instruction Register) (Label,Location)],
                MonadState (Location, Integer))