[1/3] 我本来是不会写 Python 的,但现在赶鸭子上架也能写点儿了,毕竟每月付给我两千欧元(然后我只花了一小半时间在工作上)。我现在只会写单个 Python 3 脚本,并且只引用 Python 标准库。我把 Python 解释器当做一个代码执行的平台,就是说但凡编译期能固定下来的数据都用 Lisp 代码把这些数据直接输出到 Python 文件里作为全局列表,然后 Python 代码启动后第一件事就是在内存里建一个 SQLite 数据库把所有数据狠狠地插进去,接下来的计算尽可能地用 SQL 查询来表达,SQL 语句和正则表达式都可以在 Lisp 代码里完成开发调试,然后直接拿到 Python 下面去用也不会错。我只能说凑合着用吧……
[1/3] 我太聪明了,在 ConTeXt 幻灯片里实现了自动输出 HOL4 定理排版。因为这件事已经比直接用 LaTeX 还要方便了,所以 LaTeX Beamer 我以后再也不用了)。
Please Login to reply.
幻灰龙:拼接PDF?
田春冰河
:差不多。ConTeXt 的这个 filter 模块可以调用任何第三方程序输出 PDF 然后插入到自己的 PDF 输出里,官方的示例支持 Markdown。