blob: e6bd713f79973344946ac59408e77893307ff111 (
plain)
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
(.module:
[lux (#- primitive)
[abstract
["." monad (#+ do)]]
[control
[pipe (#+ case>)]
["." try]]
[data
["." maybe]
[collection
["." list ("#\." functor)]
["." dictionary (#+ Dictionary)]]]]
["." / #_
["#." function]
["#." case]
["#." variable]
["/#" // #_
["#." extension]
["/#" // #_
["#." analysis (#+ Analysis)]
["/" synthesis (#+ Synthesis Phase)]
[///
["." phase ("#\." monad)]
[reference (#+)
[variable (#+)]]]]]])
(def: (primitive analysis)
(-> ///analysis.Primitive /.Primitive)
(case analysis
#///analysis.Unit
(#/.Text /.unit)
(^template [<analysis> <synthesis>]
[(<analysis> value)
(<synthesis> value)])
([#///analysis.Bit #/.Bit]
[#///analysis.Frac #/.F64]
[#///analysis.Text #/.Text])
(^template [<analysis> <synthesis>]
[(<analysis> value)
(<synthesis> (.i64 value))])
([#///analysis.Nat #/.I64]
[#///analysis.Int #/.I64]
[#///analysis.Rev #/.I64])))
(def: (optimization archive)
Phase
(function (optimization' analysis)
(case analysis
(#///analysis.Primitive analysis')
(phase\wrap (#/.Primitive (..primitive analysis')))
(#///analysis.Structure structure)
(/.with_currying? false
(case structure
(#///analysis.Variant variant)
(do phase.monad
[valueS (optimization' (get@ #///analysis.value variant))]
(wrap (/.variant (set@ #///analysis.value valueS variant))))
(#///analysis.Tuple tuple)
(|> tuple
(monad.map phase.monad optimization')
(phase\map (|>> /.tuple)))))
(#///analysis.Reference reference)
(phase\wrap (#/.Reference reference))
(#///analysis.Case inputA branchesAB+)
(/.with_currying? false
(/case.synthesize optimization branchesAB+ archive inputA))
(^ (///analysis.no_op value))
(optimization' value)
(#///analysis.Apply _)
(/.with_currying? false
(/function.apply optimization archive analysis))
(#///analysis.Function environmentA bodyA)
(/function.abstraction optimization environmentA archive bodyA)
(#///analysis.Extension name args)
(/.with_currying? false
(function (_ state)
(|> (//extension.apply archive optimization [name args])
(phase.run' state)
(case> (#try.Success output)
(#try.Success output)
(#try.Failure _)
(|> args
(monad.map phase.monad optimization')
(phase\map (|>> [name] #/.Extension))
(phase.run' state))))))
)))
(def: #export (phase archive analysis)
Phase
(do phase.monad
[synthesis (..optimization archive analysis)]
(phase.lift (/variable.optimization synthesis))))
|
