标签:abstract-syntax-tree

  • 用python生成Java的最佳方法? - java

    时间:2020-9-3

    从Python生成Java的最佳方法是什么? 我想编写一个装饰器,该装饰器生成Java代码以调用函数的json版本(我可以使用现有的装饰器来导出json api)。 生成Java的最佳方法是什么,我应该在这里考虑FSM之类的东西吗? 理想情况下,我可以为服务器编写一次代码,并为各种语言生成代码以与其交互(首先是Java)。 编辑(从对已删除答案的评论中拉出) […]

  • 使用Python将AST形式的Coq术语转换为波兰语表示法 - python

    时间:2020-7-29

    假设我有一个任意的Coq术语(使用s-expressions / sexp的AST格式),例如: n = n + n 我想自动将其转换为: = n + n n 通过遍历AST树(由于sexp,它是列表的嵌套列表)。 Python中是否有可以执行此操作的标准库? 现在,如果我要写下要执行的算法/伪代码(假设我可以将sexp转换为某些实际的树对象): def T […]