SML中的通配符

Question

  1 fun max(a,b,c) =                                                                
  2     if a > b andalso a > c then a                                               
  3     else if b > a andalso b > c then b                                          
  4     else c                                                                      
  5 
  6                                                                                 
  6 val x = max(1,_,3);

我在SML中写了一个带三个数字的max函数。如果输入3个整数，它就可以正常工作。但是，如果我为该函数提供外卡，则会抛出以下异常：max.sml:6.15 Error: syntax error: replacing WILD with EQUALOP

为什么会这样？

Answer 1

通配符仅用于模式匹配。它们不能用作表达式，因为它们不会计算为值。