Freeman писал(а):
Эффективность нужно рассматривать в разрезе поставленных целей
Безусловно. Если поставлена цель написать ОС на функциональном языке, то Haskell - хороший язык
.
Freeman писал(а):
А вот предсказуемость работы могут обеспечить именно функциональные языки: благодаря чистоте функций необходимые затраты (памяти, времени и пр.) теоретически могут быть подсчитаны ДО запуска программы
Именно здесь вы сильно ошибаетесь. Предсказуемость на этапе выполнения - свойство НЕ функциональных языков, но императивных. Чистота функций ни при чём, затраты времени необходимо рассматривать в рамках анализа алгоритмов. Сбор мусора и ленивые вычисления (lazy evaluation) в значительной степени ставят под сомнение возможность точного прогнозирования времени выполнения.
pavia писал(а):
Дело в том что ОС на функциональном языке написать нельзя.
Небольшая поправочка: ОС на
чистом функциональном языке написать нельзя.
pavia писал(а):
А то что в примере выше так там функциональный язык модифицирован до императивного.
Он не то, чтобы модифицирован до императивного. В него добавлены средства для получения "побочных эффектов", ибо программа без побочных эффектов совершенно бесполезна. Т.е. реальные функциональные языки вынуждены искать компромисс между недостижимой "голубой мечтой" отсутствия побочных эффектов и бесполезностью, и пользой, но с побочными эффектами.
Nable писал(а):
1. Слишком сильно мнение что парадигма - огромное свойство языка, а не подхода к делу. Зря, имхо.
Сами языки стимулируют к такому подходу.
Nable писал(а):
3. Тема выглядит как тролльский^W холиварный вброс. Ведь если не флудить, а дело делать, то расклад такой: 1) чтобы использовать язык для написания ОС, нужно им очень хорошо владеть 2) нужно быть способным реализовать для него библиотеку времени выполнения со всеми нужными функциями, либо хотя бы быть способным прикрутить одну из кем-то уже реализованных (при наличии таковых)
Очень на то похоже. Как говорится, рассуждать о вкусе устриц можно с тем, кто их ел.
Himik писал(а):
Похоже, они хотели доказать, что при желании на любом ЯП можно написать ОС
Вот! Я ведь о том же!