duangsuse::Echo

## 基本数据类型

+ nil ()
+ bool #t #f
+ number 01 0x1 0b1001 0o122 2323N 32323D 2233.223F 66666L 6B
+ list (a b c)
+ string '' "" "\"" "\n"

### 行注释

; comment

任何不可识别的都作为标识符

p.s. 冰封波博客上那个字符串 escape 失败不报错作为标识符的真是奇妙

## 展开规则：

+ 对任何宏：检查参数列表长度，对所有参数 s-expression 列表递归展开并对标识符解引用，然后填充宏参数递归展开，如果是 varargs 宏就直接将求值后的列表填充到 varargs 参数里
+ 对 ^* 宏：检查参数列表长度，然后填充宏参数递归展开，如果是 varargs 宏就直接将求值后的列表填充到 varargs 参数里
+ 对 . 宏：检查对应 send handler 参数列表长度，将所有参数 s-expression 列表递归展开并对标识符解引用，发送调用到处理 handler

## 插件：

0. 提供 ext ext~ macro 和 onLoad(Llime/Lime)V`、`onUnload(Llime/Lime)V`，插件类统一叫 `LimePlugin
1. 取值 hook
2. 找不到变量 procedure
3. SEND handler
4. 错误 hook

## 作用域：

全局变量 args 在每次递归展开时有效，它是惰性求值的

全局变量 __stack 储存了所有作用域表
不过它是惰性求值的

Lime 使用嵌套作用域

全局变量 __env 表示整个 Lime 全局表

__lime 表示解释器对象

15 views01:30

duangsuse::Echo

既然都有人这么明确的表态了吧.... 我就不藏了，其实我对应用做了高强度的混淆措施，它的代码和资源全混淆，并且核心内容采用 C++ native 实现基本看法不是很好不过我支持 @iVanilla 的看法，虽然肯定会很花时间现在其实在 GeekApk 的几个项目 GeekPage, GeekNews, SilverFish 里不能脱身，以后还有突然脑洞的一个基于宏的函数式编程语言 Lime(Little Incomplete macro expander) 会使用 Ruby, C, Java 等语言实现，GeekApk…

13 views01:33

duangsuse::Echo

(-> boys ([str Rikka ice100 pandecheng Yutta))
(-> say-hello (# (name)
(@ name " 女装哦 🌚")))
(each boys say-hello)

12 viewsedited 01:36

duangsuse::Echo

java -cp out/production/Lime/:/opt/android-studio/lib/kotlin-runtime.jar lime.ParserMain

13 views01:36

duangsuse::Echo

(
:->
:boys
(
:[str
:Rikka
:ice100
:pandecheng
:Yutta
)
)
(
:->
:say-hello
(
:#
(
:name
)
(
:@
:name
 女装哦 🌚
)
)
)
(
:each
:boys
:say-hello
)

14 views01:44

duangsuse::Echo

那么现在就把这些作为内建的 macro（真正内建的只有 handler）

-> define
-? defined?
-x undef
<- read (mp)
. send
=> hash
# macro
: to_symbol
->s to_string
[str string_array
~~ must_sequence
` loop
`` must_loop
? cond
% typeof
:: index
::= index_eq
ext extension_load
ext~ extenseion_unload
require require_library
eval eval
^ car
$ cdr
@ puts
@! warn
@< gets
λ lambda
#< macro_args (mp)
#> macro_body (mp)
[] square_index
[]= square_index_eq
[]? has_key?
[]- ary_length
[]* keys
str-includes
str-match
+ add
++ inc
- sub
-- dec
* mul
/ div
** pwr
% mod
> lt
< bg
>= le
< be
& and
| or
! not
^ xor
<< shl
>> shr
$type-># to_macro
p print
!! raise
r valueof