Оберон полетит там, где шарпы с Хаскелями не то что упадут, а вообще даже не подпрыгнут. Никому и в голову их использовать в этих нишах не придёт! И правильно. Это называется "ограниченная область применения". Такие инструменты имеют право на жизнь в узких нишах. В исследовательских лабораториях, в учебных заведениях, для "бизнес-логики". Но не надо тыкать нам в зубы это как универсальный инструмент, надоело, право же. Я не математик и не "бизнес-логик". И не готов тормознутый дотнет принять на душу. И всё, что за ним тянется. Я вчера игру Sims 3 по просьбе клиента, между прочим, ставил на комп 6-летней давности полтора часа (!). После установки дотнета 4 пришлось доставить дотнет 3.5, а то без него не хотело. Стоят ли шарпы того?
Кстати, игра так и не пошла.
"Самодельные контейнеры и операции работы над ними" — это обычная практика ООП. Наверное этим приходится заниматься всем программистам. Для упрощения процесса ничего более другого не придумано. Работа с вшитыми типами всё равно рано или поздно упрётся в необходимость иметь ещё один более другой тип. Ты предлагаешь напихать в язык всё? Вот тебе нужны развёрнутые типы, мне нет, а кому-то нужны вообще совсем другие типы и операции работы над ними. Всё в язык не напихнёшь, а то получится Ada. И всё равно ведь пройдёт десяток лет, и придётся выпускать новый стандарт. Ну не получается сразу и навсегда впихнуть в один язык всё, что только прибиндюрится всем и каждому.
Давай я твой посыл расшифрую как он до меня доносится: "Я очарован системой типов Хаскеля, и мне щас кажется, что она прекрасна. И все должны оценить её вполне. А кто против — жалкие ничтожные личности".
Только пройдёт несколько лет, ты будешь решать несколько другие задачи и вдруг обнаружишь, что как-то приходится работать без расчудесных типов, и ничего, вполне нормально получается. А ещё ты обнаружишь, что работа программиста отнюдь не сводится к красивым математическим теориям. А на практике нужно решать много рутинных вопросов. А обилие технологий и парадигм, с которым мы сталкиваемся, выплывает из глобализма, вкусовщины и бизнес-борьбы, а не из прогресса.Ты по сути говори. Чего имеешь предложить в качестве рабочего инструмента в нише более широкой области применения? И чтобы прогрессивно было. Вот о чём давай поговорим в этой теме. А про Хаскели лучше на форум по Хаскелям. А ещё лучше почитай как оно создавалось, мне даже поплохело от этого рассказа.
