Working around PHP's error suppression (@) in a functional style