Zaslat SMS: Category Theory and Computer Programming