Functional RESTful server