Od matematyki do programowania uogólnionego