- Today, 2021/01/21, is:
- Can be written with only 3 digits, What other dates can be so written? Also:
- a day where the month and day are NOT amalgamation the year. But which dates are amalgamations?
Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
printXML xml = (\elt -> printElementWithOffset elt 0 >> return elt) (rep xml)
xml
-argument to the printXML
-function secondPassFilter :: Ord a => a -> Set a -> Maybe b
secondPassFilter key = spf key . Set.lookupGE key
spf :: a -> Maybe a -> Maybe b
updater :: b -> Maybe b
firstPass :: Ord a => Map a b -> Map a b
firstPass m = foldr (Map.update updater) m (Map.keys m)
firstPass = foldr (Map.update updater) <*> Map.keys
all (\c -> any (`isPrefixOf` c) setb) notinb