🚀 go-pugleaf

In article <1ck58pINNhgg@uwm.edu> markh@csd4.csd.uwm.edu (Mark)  
writes:

> I don't agree with the premise (using "let inc cont = let a = a + 1  
in   cont")
> for pretty much the same reason I wouldn't agree with the idea of  
using
> ...

If I understand you correctly, you are saying you would not use a let  
to
express an update of a global variable in a procedure. I think we  
agree on this point, and that was my reason for saying that the  
correspondence does not hold up. 

Of course the question remains: How would you express such an update?

-- Martin Odersky


-- NewsGrazer, a NeXTstep(tm) news reader, posting --
M>UQR=&8P7&%N<VE[7&9O;G1T8FQ<9C!<9FUO9&5R;B!#;W5R:65R.WT*7&UA
M<F=L,3(P"EQM87)G<C$R,`I<<&%R9%QT>#$Q-3)<='@R,S`T7'1X,S0U-EQT
M>#0V,#A<='@U-S8P7'1X-CDQ,EQT>#@P-C1<='@Y,C$V7'1X,3`S-CA<='@Q
M,34R,%QF,%QB,%QI,%QU;&YO;F5<9G,R-%QF8S!<8V8P($EN(&%R=&EC;&4@
M/#%C:S4X<$E.3FAG9T!U=VTN961U/B!M87)K:$!C<V0T+F-S9"YU=VTN961U
M("A-87)K*2!W<FET97,Z7`I<"CX@22!D;VXG="!A9W)E92!W:71H('1H92!P
M<F5M:7-E("AU<VEN9R`B;&5T(&EN8R!C;VYT(#T@;&5T(&$@/2!A("L@,2!I
M;B`@(&-O;G0B*5P*/B!F;W(@<')E='1Y(&UU8V@@=&AE('-A;64@<F5A<V]N
M($D@=V]U;&1N)W0@86=R964@=VET:"!T:&4@:61E82!O9B!U<VEN9UP*/B`N
M+BY<"EP*268@22!U;F1E<G-T86YD('EO=2!C;W)R96-T;'DL('EO=2!A<F4@
M<V%Y:6YG('EO=2!W;W5L9"!N;W0@=7-E(&$@;&5T('1O7`IE>'!R97-S(&%N
M('5P9&%T92!O9B!A(&=L;V)A;"!V87)I86)L92!I;B!A('!R;V-E9'5R92X@
M22!T:&EN:R!W92!A9W)E92!O;B!T:&ES('!O:6YT+"!A;F0@=&AA="!W87,@
M;7D@<F5A<V]N(&9O<B!S87EI;F<@=&AA="!T:&4@8V]R<F5S<&]N9&5N8V4@
M9&]E<R!N;W0@:&]L9"!U<"X@7`I<"D]F(&-O=7)S92!T:&4@<75E<W1I;VX@
M<F5M86EN<SH@2&]W('=O=6QD('EO=2!E>'!R97-S('-U8V@@86X@=7!D871E
;/UP*7`HM+2!-87)T:6X@3V1E<G-K>5P*"GT*
`