模块 语言.句法.解释.评估 哪里



进口 语言.句法.语法



--|具有给定签名的符号的表示
类型 家庭   表示 信号发生器
类型 实例 表示 (完全 一)    = 一
类型 实例 表示 (一 ：-> 信号发生器) = 一 -> 表示 信号发生器

班 评估 快递
  哪里
    --|表达式求值
    评价 时间： 快递 一 -> 表示 一

实例 评估 dom公司 => 评估 (AST公司 dom公司)
  哪里
    评价 (Sym公司 一)  = 评价 一
    评价 (秒 :$ 一) = 评价 秒 $ 评价 一

实例 (评估 表达式1, 评估 表达式2) => 评估 (表达式1 :+: 表达式2)
  哪里
    评价 (注入 一) = 评价 一
    评价 (注射 一) = 评价 一