Я не против. Я за результат. Где он? И как он будет достигаться? Сначала надо материться чтобы все закодировать в лямбда - я правильно понимаю? Потом всех убедить, что это круто. Потом написать инструмент который бы оперировал лямбдами. И? Где профит?
Дайте дорожную карту - посредством чего будет достигнута новая технология. Я вижу это так:
1. Нужно правильно преобразовать имеющееся стандартное, относительно доступное каждому описание процесса с какого-либо языка в лямбда-представление. То есть:
а) нужно уметь это делать (иными словами знать лямбда-исчисление);
б) нужен контроль данных - как узнать, что Вы верно провели преобразование, ведь средств автоматической верификации нет. То есть нужен как минимум еще один человек, согласный на этот эксперимент, гарант того, что рассмотрев Ваше представление он однозначно мог сказать: Ёу, братан, да здесь синус зашифрован!
2. Нужно провести популяризацию лямбда-исчисления:
а) объяснить что это такое
б) объяснить зачем это
в) объяснить зачем это нужно именно при создании языков программирования, почему это эффективно (дать анализ, провести сравнение и т.д.).
3. Разработать инструмент на основании п.1 и п.2
4. Научить пользоваться других данным инструментом, потому что лямбда-символы умеет не каждый компьютер и человек
В результате что мы имеем в сухом остатке - нечто подобное сделано в Хаскелле (ну может не полностью, но лямбды и операции над ними это часть языка, а не просто объявление безымянных функций). В результате число пользователей Хаскела это какой примерно процент от числа программистов? Как широко применяется Хаскел? Ответ как бэ намекает... на эффективность Вашей идеи.
Надо взять арифметическиие операции на лямбдах и реализовать поверх них вычисление синуса как описано выше. Решаемая задача.
без проблем. Описание факториала:
Я думаю описание синуса будет в пару страничек подобной билиберды.
Отредактировано utkin (2018-01-30 15:04:41)
