Здравствуйте, Ikemefula, Вы писали:

I>Нету языков "в пп парадигме". У языков общего назначения всегда минимум две парадигмы — одна для вычислений, императивное, функциональное, логическое, а вторая для структурирования, управления сложностью — процедурное, модульное, ооп. Всё что про типы — это про структурирование, а не функциональщину. Соответсвенно самые распрекрасные функциональные языки на поверку используют и процедурную, и модульную, и оо парадигмы.

Какая чушь. Вся теория категорий это про трансформацию типов. Ну почитай ты хоть чуть-чуть про ФП-то...