OCaml函数用于评估算术表达式

3 回答

• 0

  a）的含义是您现在可以将数学表达式写为提供的数据类型 expression 的值 . 例如，构造函数 Addition 表示加法运算符（通常写为（））通过将两个较小的表达式作为操作数来形成表达式 . 因此，例如，数学表达式2 3可以由Caml值表示

  Addition (Term 2,Term 3)
  

  现在，观察阶乘运算符采用一个参数而不是两个参数，您应该能够使用b）中提出的因子的构造函数扩展数据类型 expression .

  最后，在c）中，为这种表达式类型编写求值函数很简单：常量只映射到它们所携带的整数值，并且评估加法包括递归计算加法的操作数，然后将它们相加：

  let rec eval = function
    | Term n -> n
    | Addition (l,r) -> eval e1 + eval e2
    | ...
  

  其余的情况（对于其余的构造函数，包括你将为b添加的阶乘的构造函数），是类似的，你现在应该能够自己做 .

  祝好运！

  回复于 2024-04-25T23:48:54+08:00
• 0

  b部分：问题的关键在于乘法将两个数字作为输入，但是factorial只需要一个数字作为输入 .

  回复于 2024-04-25T23:48:54+08:00
• 3

  这是我与我的profesor解决的答案我认为我发布解决方案以防其他人突然解决这个问题 .

  （a）写出对应于数学陈述“3 _（（1 4）?? 5）的表达式 . ”

  # let expression = Multiplication((Term 3, Subtraction(Term 5, Addition (Term 1, Term 4))));;
  

  （b）扩展Ocaml数据类型以包含Factorial构造函数，以便它可以处理像“3 _（（1 4）！?? 5”这样的表达式 . “

  # type expression =
  | Term of int
  | Addition of expression * expression
  | Multiplication of expression * expression
  | Subtraction  of expression * expression
  | Factorial of expression;;
  
  # let expression = Multiplication((Term 3, Subtraction(Term 5, Factorial(Addition (Term 1, Term 4)))));;
  

  （c）编写一个Ocaml函数eval，它采用数学表达式并返回其（整数）值 . 例如，它应该返回0作为部分（a）中的表达式的结果 . 您可能希望编写一个因子Ocaml函数来帮助使用新的Factorial构造函数 .

  # let rec eval expression =
    match expression with
    |Term m -> m
    |Addition(m,n) -> add(eval(m), eval(n))
    |Subtraction(m,n) -> eval(m) - eval(n)
    |Multiplication(m,n) -> eval(m) * eval(n)
    |Factorial(m)->factorial(eval(m));;
  
  # let add(m,n) = m+n;;
  
  # let rec factorial n =
      if n=0 then 1 else n * factorial(n - 1);;
  

  回复于 2024-04-25T23:48:54+08:00