CPS transformed version of match0n1n-1.hs

match0n1n-2.hs

-- The CPS-transformed version of match.
-- https://gist.github.com/suhorng/5204442

match' :: String -> Bool
match' s = trace s null
           where trace :: String -> (String -> Bool) -> Bool
                 trace ('0':xs) k = trace xs $ \remainString ->
                                      case remainString of
                                        '1':xs' -> k xs'
                                        _       -> False
                 trace xs k       = k xs