tags: PL, Lisp;
我需要一种符合以下指标的程序语言：
- 丰富的自带库：网络，线程等操作系统功能不需要第三方支持
- 支持多范式编程（瞎jb编程），不要教人如何写代码
- 动态类型（瞎jb编程支持），可选类型标注（加速及警告业务逻辑错误）
- 编译器在不标注类型的情况下，也要能在一定程度上警告类型错误
- 要能够一边运行一边开发，有REPL最好
- 具备同像性，简洁的语法，自带简洁的数据表示方法（风格要稳定，标准化），不要有太多奇怪的符号
- 支持卫生宏和运行时宏
- 库要能够进行二进制发布
- 能够保存整个运行镜像
- 简洁的FFI