Марвин Бёрнер, создатель Bruijn — языка программирования, основанного на лямбда-исчислении с индексами Брюйна , представил свою новую разработку — язык программирования Birb . В этом языке весь код состоит исключительно из эмодзи с изображениями птиц. Проект выполнен на Haskell и доступен под лицензией MIT.
Язык Birb является полными по Тьюрингу и вдохновлен книгой Рэймонда Смаллиана «Передразнить пересмешника и другие логические загадки, включая увлекательное путешествие в комбинаторную логику», где комбинаторная логика объясняется с помощью типовых комбинаторов , которым присвоены названия птиц.
В языке Birb применяется принцип комбинаторного программирования, согласно которому любую вычисляемую функцию можно выразить через два базовых комбинатора. Поэтому для написания программ на языке Birb достаточно использовать лямбда-исчисление, в котором комбинаторы заменены на эмодзи птиц. Например, эмодзи совы соответствует комбинатору «λab.b(ab)», а утка представляет комбинатор «λabc.c(ba)».
Программа на языке Birb имеет формат «[birb]+: Birb», а числа кодируются по Чёрчу . Все символы, отличные от эмодзи птиц, обрабатываются как комментарии.
Источник: SecurityLab