Difference between revisions of "Talk:The Monad.Reader"
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))