Pattern matching in Haskell (and how it may look in future version of Java)

patternmatching.hs

allTrue :: [Bool] -> Bool
allTrue [] = True
allTrue (head:tail) = head && allTrue tail

anyTrue :: [Bool] -> Bool
anyTrue [] = False
anyTrue (head:tail) = head || anyTrue tail

noneTrue :: [Bool] -> Bool
noneTrue = not . anyTrue

main :: IO()
main = do
    print $ allTrue [True, True, True] -- True
    print $ allTrue [True, True, False] -- False
    print $ anyTrue [False, True, False] -- True
    print $ anyTrue [False, False, False] -- False
    print $ noneTrue [False, False, False] -- True
    print $ noneTrue [True, False, False] -- False

patternmatching.java

  static boolean allTrue(List<Boolean> list) {
    return match list {
      case list.isEmpty() -> true;
      default -> list.get(0) && allTrue(list.subList(1, list.size()));
    }
  }

  static boolean anyTrue(List<Boolean> list) {
    return match list {
      case list.isEmpty() -> false;
      default -> list.get(0) || anyTrue(list.subList(1, list.size()));
    }
  }

  static boolean noneTrue(List<Boolean> list) {
    return !anyTrue(list);
  }