Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
7Activity
0 of .
Results for:
No results containing your search query
P. 1
Type-driven testing in Haskell slides

Type-driven testing in Haskell slides

Ratings:

4.5

(2)
|Views: 492 |Likes:
Published by ShinNoNoir
Simon Peyton Jones talks about QuickCheck and SmallCheck.
Simon Peyton Jones talks about QuickCheck and SmallCheck.

More info:

Published by: ShinNoNoir on Dec 15, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/09/2014

pdf

text

original

 
Purely testing
Simon Peyton Jones
Microsoft Research
2008
 
Summary
1.Over the next 10 years, the softwarebattleground will be the
control of effects
2.To succeed, we must shift programmingperspective from
imperative-by-default
to
functional-by-default
3.A concrete example:
testing
o
Functional programs are far easier to test
o
A functional language is a fantastic test generationtool
c.f. statictypes 1995-2005
 
AnyeffectX := In1X := X*XX := X + In2*In2C, C++, Java, C#, VBExcel, 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

Activity (7)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
gnuwiz liked this
T Sue-Ako liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->