Ten przedmiot dostarcza — w odpowiedzi na zgłoszone przez studentów zapotrzebowanie — miejsca na zaprogramowanie _czegoś większego_ w paradygmacie programowania funkcyjnego.
Ideą jest zaprojektowanie i implementacja nieco większego systemu informatycznego, i użycie w tym celu narzędzi dostarczanych przez paradygmat funkcyjny służących do _wielkoskalowej abstrakcji_ — w szczególności systemów modułów czy klas typów. Projekt ten może być punktem wyjścia do pracy licencjackiej czy inżynierskiej, polecany jest dla zainteresowanych studentów drugiego lub trzeciego roku studiów I stopnia, którzy zaliczyli programowanie funkcyjne.
