diff options
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 376 |
1 files changed, 37 insertions, 339 deletions
@@ -1,11 +1,13 @@ | |||
1 | # MoonPlus | 1 | # MoonPlus |
2 | 2 | ||
3 |  | 3 |  |
4 | MoonPlus is a compiler with features from [Moonscript language](https://github.com/leafo/moonscript) 0.5.0 and implementing new features to make Moonscript more up to date. | 4 | MoonPlus is a compiler with features from [Moonscript language](https://github.com/leafo/moonscript) 0.5.0 and adopting new features to make Moonscript more up to date. |
5 | |||
6 | Since original Moonscript has been used to write web framework [lapis](https://github.com/leafo/lapis) and run a few business web sites like [itch.io](https://itch.io) and [streak.club](https://streak.club) with some large code bases. The original language is getting too hard to adopt new features for those may break the stablility for existing applications. | ||
7 | |||
8 | So MoonPlus is a new code base for pushing the language to go forward and being a playground to try introducing new language syntax or programing paradigms to make Moonscript language more expressive and productive. | ||
5 | 9 | ||
6 | Since original Moonscript has been used to write web framework [lapis](https://github.com/leafo/lapis) and run a few business web sites like [itch.io](https://itch.io) and [streak.club](https://streak.club) with some large code bases. The original language is getting too hard to adopt new language features for those may break the stablility for existing applications. | ||
7 | 10 | ||
8 | So MoonPlus is a new code base for pushing the language to go forward and may be a playground to try introducing new language syntax or programing paradigms to make Moonscript language more expressive and productive. | ||
9 | 11 | ||
10 | ## Features | 12 | ## Features |
11 | 13 | ||
@@ -13,374 +15,70 @@ So MoonPlus is a new code base for pushing the language to go forward and may be | |||
13 | * Written in C++17. | 15 | * Written in C++17. |
14 | * Support full Moonscript language features, generate the same Lua codes with original compiler. | 16 | * Support full Moonscript language features, generate the same Lua codes with original compiler. |
15 | * Reserve line numbers from Moonscript sources in compiled Lua codes to help with debugging. | 17 | * Reserve line numbers from Moonscript sources in compiled Lua codes to help with debugging. |
18 | * See other details in the [changelog](./CHANGELOG.md). | ||
19 | |||
20 | |||
16 | 21 | ||
17 | ## Installation | 22 | ## Installation & Usage |
23 | |||
24 | * **Lua Module** | ||
25 | |||
26 | Install [luarocks](https://luarocks.org), a package manager for Lua modules. Then install it as a Lua module. | ||
18 | 27 | ||
19 | Install [luarocks](https://luarocks.org), a package manager for Lua modules. Then install Lua module with | ||
20 | ```sh | 28 | ```sh |
21 | > luarocks install moonplus | 29 | > luarocks install moonplus |
22 | ``` | 30 | ``` |
23 | 31 | ||
24 | ## Usage | 32 |   Require the module in Lua: |
25 | 33 | ||
26 | ```Lua | 34 | ```Lua |
27 | require("moonp")("main") -- require `main.moon` | 35 | require("moonp")("main") -- require `main.moon` |
28 | 36 | ||
29 | local moonp = require("moonp") | 37 | local moonp = require("moonp") |
30 | print(moonp.to_lua[[ | 38 | local codes, err, globals = moonp.to_lua([[ |
31 | f = -> | 39 | f = -> |
32 | print "hello world" | 40 | print "hello world" |
33 | f! | 41 | f! |
34 | ]],{ | 42 | ]],{ |
35 | implicit_return_root = true, | 43 | implicit_return_root = true, |
36 | reserve_line_number = false, | 44 | reserve_line_number = true, |
37 | lint_global = false | 45 | lint_global = true |
38 | }) | 46 | }) |
39 | ``` | 47 | ``` |
40 | 48 | ||
41 | ## Changes | ||
42 | |||
43 | The original Moonscript language 0.5.0 support can be found in the `0.5.0` branch. Moonscript with new features is in the master branch. Here are the new features introduced in MoonPlus. | ||
44 | |||
45 | * Add goto statement support. | ||
46 | |||
47 | * Add macro functions. | ||
48 | ```Moonscript | ||
49 | -- file 'macro.moon' | ||
50 | export macro block config = (debugging = true)-> | ||
51 | global debugMode = debugging == "true" | ||
52 | "" | ||
53 | |||
54 | export macro block asserts = (cond)-> | ||
55 | debugMode and "assert #{cond}" or "" | ||
56 | |||
57 | export macro expr assert = (cond)-> | ||
58 | debugMode and "assert #{cond}" or "#{cond}" | ||
59 | |||
60 | $config! | ||
61 | |||
62 | -- file 'main.moon' | ||
63 | import 'macro' as {:$config, :$assert, :$asserts} | ||
64 | |||
65 | macro expr and = (...)-> "#{ table.concat {...}, ' and ' }" | ||
66 | |||
67 | $asserts item ~= nil | ||
68 | $config false | ||
69 | value = $assert item | ||
70 | |||
71 | if $and f1!, f2!, f3! | ||
72 | print "OK" | ||
73 | ``` | ||
74 | Compiles to: | ||
75 | ```Lua | ||
76 | -- file 'macro.moon' | ||
77 | local _module_0 = { } | ||
78 | return _module_0 | ||
79 | |||
80 | -- file 'main.moon' | ||
81 | assert(item ~= nil) | ||
82 | local value = item | ||
83 | if (f1() and f2() and f3()) then | ||
84 | print("OK") | ||
85 | end | ||
86 | ``` | ||
87 | |||
88 | * Move old `export` statement functions to `global` statement to match the `local` statement. | ||
89 | |||
90 | * Change `export` statement behavier to support module management. Moon codes with `export` statement can not explicit return values in root scope. And codes with `export default` can export only one value as the module content. Use cases: | ||
91 | ```Moonscript | ||
92 | -- file 'Config.moon' | ||
93 | export default {flag:1, value:"x"} | ||
94 | |||
95 | -- file 'Utils.moon' | ||
96 | export map = (items, func)-> [func item for item in *items] | ||
97 | export filter = (items, func)-> [item for item in *items when func item] | ||
98 | |||
99 | -- file 'main.moon' | ||
100 | import 'Config' as {:flag, :value} | ||
101 | import 'Utils' as {:map, :filter} | ||
102 | ``` | ||
103 | Compiles to: | ||
104 | ```Lua | ||
105 | -- file 'Config.moon' | ||
106 | local _module_0 = nil | ||
107 | _module_0 = { | ||
108 | flag = 1, | ||
109 | value = "x" | ||
110 | } | ||
111 | return _module_0 | ||
112 | |||
113 | -- file 'Utils.moon' | ||
114 | local _module_0 = { } | ||
115 | local map | ||
116 | map = function(items, func) | ||
117 | local _accum_0 = { } | ||
118 | local _len_0 = 1 | ||
119 | for _index_0 = 1, #items do | ||
120 | local item = items[_index_0] | ||
121 | _accum_0[_len_0] = func(item) | ||
122 | _len_0 = _len_0 + 1 | ||
123 | end | ||
124 | return _accum_0 | ||
125 | end | ||
126 | _module_0["map"] = map | ||
127 | local filter | ||
128 | filter = function(items, func) | ||
129 | local _accum_0 = { } | ||
130 | local _len_0 = 1 | ||
131 | for _index_0 = 1, #items do | ||
132 | local item = items[_index_0] | ||
133 | if func(item) then | ||
134 | _accum_0[_len_0] = item | ||
135 | _len_0 = _len_0 + 1 | ||
136 | end | ||
137 | end | ||
138 | return _accum_0 | ||
139 | end | ||
140 | _module_0["filter"] = filter | ||
141 | return _module_0 | ||
142 | |||
143 | -- file 'main.moon' | ||
144 | local flag, value | ||
145 | do | ||
146 | local _obj_0 = require('Config') | ||
147 | flag, value = _obj_0.flag, _obj_0.value | ||
148 | end | ||
149 | local map, filter | ||
150 | do | ||
151 | local _obj_0 = require('Utils') | ||
152 | map, filter = _obj_0.map, _obj_0.filter | ||
153 | end | ||
154 | ``` | ||
155 | |||
156 | * Add multi-line comment support. | ||
157 | |||
158 | * Usage for symbol `\` to escape new line. Will compile codes: | ||
159 | ```Moonscript | ||
160 | str = --[[ | ||
161 | This is a multi line comment. | ||
162 | It's OK. | ||
163 | ]] strA \ -- comment 1 | ||
164 | .. strB \ -- comment 2 | ||
165 | .. strC | ||
166 | |||
167 | func --[[ip]] "192.168.126.110", --[[port]] 3000 | ||
168 | ``` | ||
169 |   to: | ||
170 | ```Lua | ||
171 | local str = strA .. strB .. strC | ||
172 | func("192.168.126.110", 3000) | ||
173 | ``` | ||
174 | |||
175 | * Back call features with new operator and syntax. For example: | ||
176 | ```Moonscript | ||
177 | {1,2,3} \ | ||
178 | |> map((x)-> x * 2) \ | ||
179 | |> filter((x)-> x > 4) \ | ||
180 | |> reduce(0, (a,b)-> a + b) \ | ||
181 | |||
182 | |||
183 | do | ||
184 | (data) <- http.get "ajaxtest" | ||
185 | body[".result"]\html data | ||
186 | (processed) <- http.post "ajaxprocess", data | ||
187 | body[".result"]\append processed | ||
188 | print "done" | ||
189 | ``` | ||
190 |   will be compiled to: | ||
191 | ```Lua | ||
192 | print(reduce(filter(map({ | ||
193 | 1, | ||
194 | 2, | ||
195 | 3 | ||
196 | }, function(x) | ||
197 | return x * 2 | ||
198 | end), function(x) | ||
199 | return x > 4 | ||
200 | end), 0, function(a, b) | ||
201 | return a + b | ||
202 | end)) | ||
203 | do | ||
204 | http.get("ajaxtest", function(data) | ||
205 | body[".result"]:html(data) | ||
206 | return http.post("ajaxprocess", data, function(processed) | ||
207 | body[".result"]:append(processed) | ||
208 | return print("done") | ||
209 | end) | ||
210 | end) | ||
211 | end | ||
212 | ``` | ||
213 | |||
214 | * Existential operator support. Generate codes from: | ||
215 | ```Moonscript | ||
216 | func?! | ||
217 | 49 | ||
218 | x = tab?.value | ||
219 | 50 | ||
220 | print abc?["hello world"]?.xyz | ||
221 | 51 | ||
222 | if print and x? | 52 | * **Binary Tool** |
223 | print x | ||
224 | ``` | ||
225 |   to: | ||
226 | ```Lua | ||
227 | if func ~= nil then | ||
228 | func() | ||
229 | end | ||
230 | local x | ||
231 | if tab ~= nil then | ||
232 | x = tab.value | ||
233 | end | ||
234 | print((function() | ||
235 | if abc ~= nil then | ||
236 | local _obj_0 = abc["hello world"] | ||
237 | if _obj_0 ~= nil then | ||
238 | return _obj_0.xyz | ||
239 | end | ||
240 | return nil | ||
241 | end | ||
242 | return nil | ||
243 | end)()) | ||
244 | if print and (x ~= nil) then | ||
245 | print(x) | ||
246 | end | ||
247 | ``` | ||
248 | 53 | ||
249 | * More usages for `import` keyword. Will compile codes from: | 54 | Clone this repo, then build and install executable with: |
250 | ```Moonscript | ||
251 | import 'module' | ||
252 | import "module.part" | ||
253 | import "d-a-s-h-e-s" | ||
254 | import "player" as Player | ||
255 | import "lpeg" as {:C, :Ct, :Cmt} | ||
256 | ``` | ||
257 |   to: | ||
258 | ```Lua | ||
259 | local module = require('module') | ||
260 | local part = require("module.part") | ||
261 | local d_a_s_h_e_s = require("d-a-s-h-e-s") | ||
262 | local Player = require("player") | ||
263 | local C, Ct, Cmt | ||
264 | do | ||
265 | local _obj_0 = require("lpeg") | ||
266 | C, Ct, Cmt = _obj_0.C, _obj_0.Ct, _obj_0.Cmt | ||
267 | end | ||
268 | ``` | ||
269 | 55 | ||
270 | * Can do slash call with Lua keywords. Generate codes from: | 56 | ```sh |
271 | ```Moonscript | 57 | > make install |
272 | c.repeat.if\then("xyz")\else res | ||
273 | ``` | ||
274 |   to: | ||
275 | ```Lua | ||
276 | local _call_3 = c["repeat"]["if"] | ||
277 | local _call_4 = _call_3["then"](_call_3, "xyz") | ||
278 | _call_4["else"](_call_4, res) | ||
279 | ``` | 58 | ``` |
280 | 59 | ||
281 | * Feature of `Reusing variable` which helps generate reduced Lua codes. For example, MoonPlus will generate codes from: | 60 |   Use MoonPlus tool with: |
282 | ```Moonscript | ||
283 | with leaf | ||
284 | .world 1,2,3 | ||
285 | |||
286 | with leaf | ||
287 | g = .what.is.this | ||
288 | print g | ||
289 | |||
290 | for x in *something | ||
291 | print x | ||
292 | ``` | ||
293 |   to: | ||
294 | ```Lua | ||
295 | leaf.world(1, 2, 3) | ||
296 | do | ||
297 | local g = leaf.what.is.this | ||
298 | print(g) | ||
299 | end | ||
300 | for _index_0 = 1, #something do | ||
301 | local x = something[_index_0] | ||
302 | print(x) | ||
303 | end | ||
304 | ``` | ||
305 |   instead of: | ||
306 | ```lua | ||
307 | do | ||
308 | local _with_0 = leaf | ||
309 | _with_0.world(1, 2, 3) | ||
310 | end | ||
311 | do | ||
312 | local _with_0 = leaf | ||
313 | local g = _with_0.what.is.this | ||
314 | end | ||
315 | local _list_0 = something | ||
316 | for _index_0 = 1, #_list_0 do | ||
317 | local x = _list_0[_index_0] | ||
318 | print(x) | ||
319 | end | ||
320 | ``` | ||
321 | 61 | ||
322 | * Expression list appears at the middle of code block is not allowed. For codes like: | 62 | ```sh |
323 | ```Moonscript | 63 | > moonp -h |
324 | -- Moonscript 0.5.0 | 64 | Usage: moonp [options|files|directories] ... |
325 | f = (x)-> | ||
326 | "abc",123 -- valid meaningless codes | ||
327 | x + 1 | ||
328 | ``` | ||
329 | in original Moonscript compiles to: | ||
330 | ```Lua | ||
331 | local f | ||
332 | f = function(x) | ||
333 | local _ = "abc", 123 -- report error in MoonPlus | ||
334 | return x + 1 | ||
335 | end | ||
336 | ``` | ||
337 | 65 | ||
338 | This feature may lead to some silenced errors. For example: | 66 | -h Print this message |
339 | ```Moonscript | 67 | -e str Execute a file or raw codes |
340 | -- expected codes | 68 | -t path Specify where to place compiled files |
341 | tree\addChild with Node! | 69 | -o file Write output to file |
342 | \addChild subNode | 70 | -p Write output to standard out |
343 | 71 | -b Dump compile time (doesn't write output) | |
344 | -- in original Moonscript, codes will still run after adding a break | 72 | -l Write line numbers from source codes |
345 | tree\addChild | 73 | -v Print version |
346 | with Node! | 74 | -- Read from standard in, print to standard out |
347 | \addChild subNode | 75 | (Must be first and only argument) |
348 | ``` | ||
349 | the original Moonscript will compile these codes to: | ||
350 | ```Lua | ||
351 | -- expected codes | ||
352 | tree:addChild((function() | ||
353 | do | ||
354 | local _with_0 = Node() | ||
355 | _with_0:addChild(subNode) | ||
356 | return _with_0 | ||
357 | end | ||
358 | end)()) | ||
359 | 76 | ||
360 | -- codes added with a break will still run | 77 | Execute without options to enter REPL, type symbol '$' |
361 | local _ -- report error in MoonPlus instead of creating | 78 | in a single line to start/stop multi-line mode |
362 | do -- an anonymous function to bind the object method | ||
363 | local _base_0 = tree | ||
364 | local _fn_0 = _base_0.addChild | ||
365 | _ = function(...) | ||
366 | return _fn_0(_base_0, ...) | ||
367 | end | ||
368 | end | ||
369 | do | ||
370 | local _with_0 = Node() | ||
371 | _with_0:addChild(subNode) | ||
372 | end | ||
373 | ``` | 79 | ``` |
374 | 80 | ||
375 | ## Standalone Compiler Usage | ||
376 | 81 | ||
377 | Test compiler with `make test`. | ||
378 | Run `moonp` complier in project folder with: | ||
379 | |||
380 | ```shell | ||
381 | make | ||
382 | ./moonp -h | ||
383 | ``` | ||
384 | 82 | ||
385 | ## License | 83 | ## License |
386 | MIT | 84 | MIT |