A small system in which data can be easily retrieved by querying in a type safe manner. This is the assignment regarding the third year minor Software Engineering at the Hogeschool Rotterdam.
A proper way to start of this project is by brainstorming. In this session all problems, questions and thoughts were documented on paper to get a clearer view of the assignment.
The first step was to think in terms of a category. This category, in which there is movement by morphisms, has been carefully designed to be as simple as possible.
The Query<a> type in more depth
The SelectedQuery<a,b> type in more depth
Updating the category by adding a new morphism: include: SelectedQuery -> SelectedQuery.
In order to add the include(), SelectedQuery<a,b> must be updated with this new functionality.