Я уже давно предельно точно сформулировал задачу которую требуется решить.
К сожелению я не могу очень точно представить результат работы такого компилятора, он в прямом смысле этого слова «не чёткий» и выдаёт иногда такие вещи от которых «крышу сносит»,
а иногда «висит». Тоесть это что-то наподобие ловли энергетических флуктуаций вселенной и материализация их в виде алгоритмов. Вот такое вот эзотерическое «чудо». Полный рандом-эффект.
Но это работает… и работает довольно интересно. Остался только вопрос наполнения стандартной библиотеки.
То есть главный вопрос это труд и реклама?..
Первое решается довольно сложно но решается,
а вот с «маркетингом» действительно могут быть проблемы.
Хотя… У меня ещё осталась пара сотен «тузов в рукаве» =)
Ну во первых это язык NP-формулировки.
То есть мы поэтапно вводим что входит а что выходит, причём это могут быть абстрактные данные.
Сначала в глобальном решении, потом в конкретных локальных. По юнит тестам, которые мы вводим либо которые генерируются автоматом, ЯП определяет коректность работы программы а также принимает решения о структуре данных и используемых алгоритмах работы…
Таким образом можно решить все описаные проблемы, полное TDD и XP с коробки.
Во вторых stdlib будет ооочень большой.
В даной реализации должна пресудствовать огромная база готовых решений на основе которых будут созданы новые. То есть в случае смены апаратной платформы грозит полная перекомпиляция, либо смена критерия оптимизации по «желанию» пользователя.
Этакий «black box» сам генерирующий «странные» и быстрые алгоритмы.
К сожелению я не могу очень точно представить результат работы такого компилятора, он в прямом смысле этого слова «не чёткий» и выдаёт иногда такие вещи от которых «крышу сносит»,
а иногда «висит». Тоесть это что-то наподобие ловли энергетических флуктуаций вселенной и материализация их в виде алгоритмов. Вот такое вот эзотерическое «чудо». Полный рандом-эффект.
Но это работает… и работает довольно интересно. Остался только вопрос наполнения стандартной библиотеки.