• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
Caging the effectsmonsterThe next big challenge
Simon Peyton JonesMicrosoft ResearchSpring 2008
 
Summary
1.Over the next 10 years, the softwarebattleground will be2.To succeed, we must shift programmingperspective
the control of
effects
fromImperative by defaulttoFunctional by default
c.f. statictypes 1995-2005
 
AnyeffectX := In1X := X*XX := X + In2*In2C, C++, Java, C#, VB Excel, Haskell
Do this, then do that
“X” is the name of a cell
that has different valuesat different times
No notion of sequence
“A2” is the name of a
(single) value
Commands, control flowExpressions, data flow
Pure(no effects)
Spectrum
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...