Айтишники помогают лингвистам решить проблему исчезающих языков. Сегодня отметился доктор Рассел О’Конор, опубликовавший работу «Simplicity: Новый язык для блокчейн-систем».
Simplicity — это попытка улучшить языки, используемые современными программистами для создания смарт-контрактов. Недостатки есть у всех, чего уж там. К примеру, у Bitcoin Script недостаточно операционных кодов. Создавая алгоритм с помощью такого языка, разработчик может складывать числа, а множить не может. Разработчик Blockstream решил эту проблему, создав «более гибкий», функциональный и безопасный язык.
Работа доктора О’Конора — это только проект, над которым будут работать в Blockstream, но уже сейчас можно сказать, что будущее у этого начинания есть, и будущее весьма светлое. Помните, как после DDOS-атак на Ethereum разработчики обсуждали целесообразность использования полных по Тьюрингу языков программирования смарт-контрактов? Так вот, Simplicity — это тьюринг-неполный язык. Такой, как на фотографии. Шутка.
* * *
Мы в Telegram и Facebook.
