Типы в программировании как математические множества

Как говорил наш препод: "программист без знаний математики - это не программист, а переводчик".