Денис Кузнецов

В большинстве случаев никаких "файлов" не существует и не хранится. В браузер отправляется pdf-содержимое, генерируемое на лету на основе данных из БД. PDF — это просто форма отображения информации. Лучше, если вы осознаете, что ваш вопрос может относиться абсолютно в той же степени и к html-файлам, и к картинкам, и к любой другой информации, прилетающей пользователю в браузер по авторизованному запросу.

Дон Гриффитс, Дэвид Гриффитс - "Head First. Программирование для Android"

при вводе getByTypes [MyInt, MyString] base выдает ["first","next","str"]

Значит, функция работает.

если в качестве аргумента задать MyStruct , то выдает ошибку , как сделать так чтоб функция работала с этим типом ?

Как происходит вызов?

getByTypes [MyStruct[("s1",MyInt),("s2",MyDouble)]] base

Конструктор List с параметрами по умолчанию не помешал бы.
И вместо char* используйте std::string

Опечатка out

void List :: Print()
{
  out << Mark[20] << '\t' << Num[10] << '\t' << ExName[20] << '\t' << Year << '\t' << PastRoad << endl;
}

И массив в цикле нужно выводить.

Вы не проверяете на std::npos результат в space:

space = s.find(' ', i);

В Haskell в отличие от, например, Wolfram Mathematica в перечне образцов в рамках одного случая каждая переменная может быть использована только единожды.
На самом деле образцы являются краткой формой записи системы проекций для произведений-типов и разбора случаев для сумм-типов.
Например,

substitute x y [] = ...
substitute x y (h:hs) = ...

является краткой формой записи (кстати, "упрощенный" Хаскель, к которому ghc приводит код перед компиляцией, как раз такое представление использует)

substitute x y z = case z of
  [] -> ...
  (h:hs) -> ...

или, если гиперболизировать,

substitute x y z = if null z then ... else let h = head z; hs = tail z in ...

Основная мысль: все переменные в образцах принципиально обязаны быть разными в общем случае.
Например, как быть с func x x = ..., когда x :: a -> b?
Исключение есть всего одно: когда тип обеих переменных имплементирует Eq. Но современный Haskell этого ещё не умеет. Возможно, в будущем такая фишка будет добавлена как одно из многочисленных расширений языка.