blob: 7d4b156b8722c0fe16ef25efc8033de62b279438 (
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
104
|
(.module:
lux
(lux (control [monad #+ do])
[io #+ IO]
(data ["e" error])
[macro]
(macro [code]))
(luxc [lang]
(lang ["&." host]
[".L" init]
[".L" module]
[synthesis #+ Synthesis]
(translation (jvm [".T_jvm" expression]
[".T_jvm" eval]
[".T_jvm" runtime]
[".T_jvm" statement])
[js]
(js [".T_js" expression]
[".T_js" eval]
[".T_js" runtime]
[".T_js" statement])
[lua]
(lua [".T_lua" expression]
[".T_lua" eval]
[".T_lua" runtime]
[".T_lua" statement])
[ruby]
(ruby [".T_ruby" expression]
[".T_ruby" eval]
[".T_ruby" runtime]
[".T_ruby" statement])
[python]
(python [".T_python" expression]
[".T_python" eval]
[".T_python" runtime]
[".T_python" statement])
[r]
(r [".T_r" expression]
[".T_r" eval]
[".T_r" runtime]
[".T_r" statement])
))))
(type: #export Runner (-> Synthesis (e.Error Top)))
(type: #export Definer (-> Ident Synthesis (e.Error Top)))
(do-template [<name> <host>]
[(def: #export <name>
(IO Compiler)
(do io.Monad<IO>
[host <host>]
(wrap (initL.compiler host))))]
[init-jvm &host.init-host]
[init-js js.init]
[init-lua lua.init]
[init-ruby ruby.init]
[init-python python.init]
[init-r r.init]
)
(def: (runner translate-runtime translate-expression eval init)
(All [a] (-> (Meta Top) (-> Synthesis (Meta a)) (-> a (Meta Top)) (IO Compiler)
Runner))
(function (_ synthesis)
(|> (do macro.Monad<Meta>
[_ translate-runtime
sampleO (translate-expression synthesis)]
(eval sampleO))
(lang.with-current-module "")
(macro.run (io.run init)))))
(def: (definer translate-runtime translate-expression eval init translate-def)
(All [a] (-> (Meta Top) (-> Synthesis (Meta a)) (-> a (Meta Top)) (IO Compiler)
(-> Text Type a Code (Meta Top))
Definer))
(function (_ [module-name def-name] synthesis)
(|> (do macro.Monad<Meta>
[_ translate-runtime
valueO (translate-expression synthesis)
_ (moduleL.with-module +0 module-name
(translate-def def-name Top valueO (' {})))
sampleO (translate-expression (code.symbol [module-name def-name]))]
(eval sampleO))
(lang.with-current-module "")
(macro.run (io.run init)))))
(def: #export run-jvm (runner runtimeT_jvm.translate expressionT_jvm.translate evalT_jvm.eval init-jvm))
(def: #export def-jvm (definer runtimeT_jvm.translate expressionT_jvm.translate evalT_jvm.eval init-jvm statementT_jvm.translate-def))
(def: #export run-js (runner runtimeT_js.translate expressionT_js.translate evalT_js.eval init-js))
(def: #export def-js (definer runtimeT_js.translate expressionT_js.translate evalT_js.eval init-js statementT_js.translate-def))
(def: #export run-lua (runner runtimeT_lua.translate expressionT_lua.translate evalT_lua.eval init-lua))
(def: #export def-lua (definer runtimeT_lua.translate expressionT_lua.translate evalT_lua.eval init-lua statementT_lua.translate-def))
(def: #export run-ruby (runner runtimeT_ruby.translate expressionT_ruby.translate evalT_ruby.eval init-ruby))
(def: #export def-ruby (definer runtimeT_ruby.translate expressionT_ruby.translate evalT_ruby.eval init-ruby statementT_ruby.translate-def))
(def: #export run-python (runner runtimeT_python.translate expressionT_python.translate evalT_python.eval init-python))
(def: #export def-python (definer runtimeT_python.translate expressionT_python.translate evalT_python.eval init-python statementT_python.translate-def))
(def: #export run-r (runner runtimeT_r.translate expressionT_r.translate evalT_r.eval init-r))
(def: #export def-r (definer runtimeT_r.translate expressionT_r.translate evalT_r.eval init-r statementT_r.translate-def))
|