functional-programming - 标准 ML : Ugly isLeapYear Function

Question

我正在尝试使用 case of 在标准 ML 中编写一个函数，但我最终得到的代码尖叫着一堆 if/else。这只是使用 case of 的一个糟糕的候选者，还是有更好的设置方法以便我不经常将 bool 值映射到 bool 值？

这是我的代码:

fun isLeapYear(y) =
    case (y mod 400 = 0) of
        true => true |
        false => (case ((y mod 100 = 0)) of
            true => false |
            false => (case (y mod 4 = 0) of
                true => true |
                false => false));

感谢您的帮助，布莱曼

Answer 1

如果您不关心一些额外的说明:

fun isLeapYear(y) = case (y mod 400, y mod 100, y mod 4) of
    (0, _, _) => true 
  | (_, 0, _) => false
  | (_, _, 0) => true
  | (_, _, _) => false