Новости Добро пожаловать, Birb: новый язык программирования из эмодзи птиц

[NewsMaker]

Создатель языка Bruijn представил свою новую разработку.

---

---

Марвин Бёрнер, создатель Для просмотра ссылки Войди или Зарегистрируйся — языка программирования, основанного на лямбда-исчислении с Для просмотра ссылки Войди или Зарегистрируйся , представил свою новую разработку — язык программирования Для просмотра ссылки Войди или Зарегистрируйся . В этом языке весь код состоит исключительно из эмодзи с изображениями птиц. Проект выполнен на Haskell и Для просмотра ссылки Войди или Зарегистрируйся под лицензией MIT.

Язык Birb является Для просмотра ссылки Войди или Зарегистрируйся и вдохновлен книгой Рэймонда Смаллиана «Передразнить пересмешника и другие логические загадки, включая увлекательное путешествие в комбинаторную логику», где комбинаторная логика объясняется с помощью Для просмотра ссылки Войди или Зарегистрируйся , которым присвоены названия птиц.

---

---

В языке Birb применяется принцип комбинаторного программирования, согласно которому любую вычисляемую функцию можно выразить через два базовых комбинатора. Поэтому для написания программ на языке Birb достаточно использовать лямбда-исчисление, в котором комбинаторы заменены на эмодзи птиц. Например, эмодзи совы соответствует комбинатору «λab.b(ab)», а утка представляет комбинатор «λabc.c(ba)».

Программа на языке Birb имеет формат «[birb]+: Birb», а числа кодируются по Для просмотра ссылки Войди или Зарегистрируйся . Все символы, отличные от эмодзи птиц, обрабатываются как комментарии.