Facebook uses functional programming to make News Feeds run smoothly