-
Notifications
You must be signed in to change notification settings - Fork 0
/
benchmark.rb
76 lines (62 loc) · 1.55 KB
/
benchmark.rb
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
$LOAD_PATH << File.dirname(__FILE__) + '/lib'
require 'benchmark/ips'
require 'encase'
class Simple
def self.fib(n)
return n if n < 2
return fib(n - 1) + fib(n - 2)
end
end
class Checked
def self.fib(n)
raise 'Exception!' unless Integer === n
return result = n if n < 2
return result = fib(n - 1) + fib(n - 2)
ensure
raise 'Exception!' unless Integer === result
end
end
module Contracted
class Unchecked
include Encase::Contracts
Contract()
def self.fib(n)
return n if n < 2
return fib(n - 1) + fib(n - 2)
end
end
class ArgumentCheck
include Encase::Contracts
Contract Integer
def self.fib(n)
return n if n < 2
return fib(n - 1) + fib(n - 2)
end
end
class ReturnCheck
include Encase::Contracts
Contract Encase::Contracts::Returns[Integer]
def self.fib(n)
return n if n < 2
return fib(n - 1) + fib(n - 2)
end
end
class ArgumentAndReturnCheck
include Encase::Contracts
Contract Integer => Integer
def self.fib(n)
return n if n < 2
return fib(n - 1) + fib(n - 2)
end
end
end
Benchmark.ips do |x|
x.config(:time => 4, :warmup => 2)
x.report("Unadorned") { Simple.fib(6) }
x.report("Checked") { Checked.fib(6) }
x.report("Contracted: Empty") { Contracted::Unchecked.fib(6) }
x.report("Contracted: Args") { Contracted::ArgumentCheck.fib(6) }
x.report("Contracted: Returns") { Contracted::ReturnCheck.fib(6) }
x.report("Contracted: Both") { Contracted::ArgumentAndReturnCheck.fib(6) }
x.compare!
end