2018年10月4日星期四，zaoqi 写道：
type system作为与proof相关的东西
2018年10月4日星期四，zaoqi 写道：
然后实现包管理器，编辑器，proof相关的东西，完全符合标准的evalo...
2018年10月4日星期四，zaoqi 写道：
通过解释器解释类似Effect，Monad的东西实现IO
2018年10月4日星期四，zaoqi 写道：
然后在这个calculus上实现一个编程语言。
error做为普通的值，在list?等标准库的a -> Boolean对error进行特殊处理，使error不需要被到处检测。
2018年10月4日星期四，zaoqi 写道：
程序的优化与程序分开，...
2018年10月4日星期四，zaoqi 写道：
我现在计划实现一个symbol结构化的允许实现避免停机问题的lazy的类似Scheme的calculus.
有特殊形式来使用内置的功能。
函数和宏是普通的数据。(f x ...)时清除env，所以不是动态作用域。
值不变，但不一定纯函数。因为有一个内置的功能，返回一个列表中的任意一个元素(一般返回第一个，实现可以返回其他元素以加快计算).
停机问题的避免的之前的描述：
停机问题避免--替换
在经过0次或更多次这个替换后，可以把任意数量的任何没有结果的值替换为...
实现最好通过这个替换尽量避免去计算没有结果的值。

可以给一段你希望设计成的语言的示例吗？
比如说快速求幂
;a^n
(define (exp a n)
;x * y^n
(define (exp-it x y n)
(if (zero? n)
x
(if (even? n)
(exp-it x (* y y) (/ n 2))
(exp-it (* x y) (* y y) (/ (- n 1) 2))
)
)
)
(exp-it 1 a n)
)

另外一点，为什么要强调“中文”二字？

calculus？从λvC还是啥的扩展？糊几坨schemata？带equational theory不？

类似Effect，Monad的东西实现IO
……大爷您还是先糊个algebraic effect吧，别哪壶不开提哪壶，净抄败犬。。。

可以